[coreboot-gerrit] Patch set updated for coreboot: cff127b supermicro/h8qgi/dsdt: Use PIC as default interrupt model