[OpenBIOS] r454 - openbios-devel/kernel