[SeaBIOS] [PATCH 8/9] Minor reorganization of some of the boot_xxx code in boot.c.