Re: [SeaBIOS] [PATCH] add HDTV resolutions (1280x768, 1280x720, 1920x1080)