[OpenBIOS] r378 - openbios-devel/drivers