Re: [OpenBIOS] [PATCH v5] ppc: SDR1 fixes