[OpenBIOS] Which hardware are supported?