Re: [OpenBIOS] [PATCH 3/4] ppc: Introduce load() macro for ppc64