[OpenBIOS] Building OpenBIOS - OS list