Re: [OpenBIOS] OpenBIOS PowerPC missing open firmware commands