[OpenBIOS] [PATCH] bootinfo_load: recognize EOT as end of bootinfo