Re: [OpenBIOS] Small fixes