[OpenBIOS] r416 - openbios-devel/drivers