[SeaBIOS] Re: [PATCH es] bootmenu: Gerd Hoffman version - feedback