[SeaBIOS] [PATCH v2 0/6] pci: 64bit support