[SeaBIOS] [PATCH 2/8] Replace CONFIG_BOOTMENU_WAIT with dynamic "etc/boot-menu-wait" file.