[OpenBIOS] [commit] r1013 - in trunk/openbios-devel: . config/xml kernel