Re: [OpenBIOS] [PATCH] ppc: SDR1 fixes for ppc64