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