Also use target_phys_addr_t for addresses.
Signed-off-by: NBlue Swirl <blauwirbel@gmail.com>