[coreboot-gerrit] Patch set updated for coreboot: d572b37 kontron/986lcd-m: Fix PCI interrupt routing.