Re: [OpenBIOS] [PATCH] ppc: Use config file to enable RTAS