Re: [OpenBIOS] OpenBIOS as a boot manager