Re: [SeaBIOS] [Seabios] [PATCH 0/3] 64bit PCI BARs allocations