[coreboot-gerrit] Patch merged into coreboot/master: 8395e90 supermicro/h8qgi/dsdt: Use PIC as default interrupt model