[SeaBIOS] [PATCH] Add config option (CONFIG_BOOTORDER) to disable bootorder support.