[SeaBIOS] [PATCH v2] map 64-bit PCI BARs at location provided by emulator