[SeaBIOS] [PATCH 1/7] vgabios: Add option to control use of standard VGA IO ports.