[SeaBIOS] [PATCH] boot: Add an option to always show boot menu