Re: [OpenBIOS] [PATCH, RFC 6/6] ppc: Fix stack setup