Re: [SeaBIOS] [PATCH] [Seabios] Over 4GB address ranges for 64bit PCI BARs