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