Re: [OpenBIOS] [PATCH v3 1/2] ofmem: Use phys_addr_t for physical addresses