Re: [OpenBIOS] [PATCH 4/4] ppc64: Set SF bit before entering ELF binary