[coreboot] Gigabyte M57SLI-S4 PCI-Initialisation Problems