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