[OpenBIOS] r558 - trunk/openbios-devel