[SeaBIOS] [PATCH 3/4] pci: remove old pci initilaization code