Re: [OpenBIOS] documentation patch