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