[SeaBIOS] [PATCH 08/12] pciinit: Add pci_region structure.