[OpenBIOS] documentation