powerpc/fsl-booke: Fix mapping functions to use phys_addr_t