MIPS: Use phys_addr_t instead of phys_t