[OpenBIOS] r439 - in openbios-devel: drivers include/openbios