[SeaBIOS] Re: [PATCH] Add force-boot-menu runtime configuration