Re: [SeaBIOS] [Seabios] [PATCH 0/6] 64bit PCI BARs allocations (take 2)