Re: [SeaBIOS] [Qemu-devel] [RFC] map 64-bit PCI devices after all possible RAM