[coreboot-gerrit] New patch to review for coreboot: 8177f58 samus: Add ACPI MADT interrupt override for GPIO IRQ 14