Re: [OpenBIOS] Which hardware are supported?