Re: [OpenBIOS] [PATCH v3 3/3] ppc64: Re-enable SF bit after returning from ELF binary