[OpenBIOS] [commit] r706 - in trunk/openbios-devel: config/xml include/kernel kernel