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