Re: [OpenBIOS] OpenBIOS as an intermediate loader