Re: [coreboot] P4V800D-X need BIOS modification for PCI-E