[OpenBIOS] [PATCH v2] ppc: Set up SLBs for ppc64