ppc/xive: Use address_space routines to access the machine RAM