[SeaBIOS] Re: [PATCH 2/3] boot: Log, if boot menu is skipped