[OpenBIOS] documentation patch