Re: [OpenBIOS] [PATCH] ppc: Move noreturn attribute