[coreboot-gerrit] New patch to review for coreboot: 222d9b9 Supermicro H8QGI: Change default interrupt model to PIC, according ACPI specification