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