Re: [SeaBIOS] "PCI: out of address space" with two video cards