[OpenBIOS] r375 - openbios-devel/drivers