[OpenBIOS] [PATCH] vga resolutions