Add TARGET_FMT_plx to properly display target_phys_addr_t variables.