[OpenBIOS] [PATCH 2/4] ppc64: Don't disable SF bit