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