[OpenBIOS] r507 - trunk/openbios-devel/drivers