[OpenBIOS] General comments