[OpenBIOS] [commit] r789 - trunk/openbios-devel/drivers