Re: [SeaBIOS] [PATCH SeaBIOS v4] map 64-bit PCI BARs at location provided by emulator