[SeaBIOS] [PATCH V2 3/9] Add a PCI header to the VGA ROM if needed