[SeaBIOS] [Patch 0/12] Pciinit redesign and 64bit PCI support