[coreboot] Patch merged into coreboot/master: 42bde27 F14 mainboard: update acpi interrupt routing in pic and apic mode