[SeaBIOS] Re: [PATCH] svgamodes: add standard 4k modes