[SeaBIOS] Re: [PATCH] vgasrc/svgamodes: added 4k resolution