Re: [SeaBIOS] [PATCH] pci: don't map virtio 1.0 storage devices above 4G