seabios-1.7.3.2.patch
vgabios-hdtv-resolutions.patch
