[coreboot-gerrit] Patch merged into coreboot/master: 04e6f07 samus: Add ACPI MADT interrupt override for GPIO IRQ 14