[SeaBIOS] [PATCH v2 6/6] pci: add prefmem64