[SeaBIOS] [PATCH 3/5] vgabios: Add bochsvga "HDTV" resolutions.