Re: [OpenBIOS] [PATCH v2] ppc64: Don't set Kp bit on SLB