[coreboot-gerrit] Patch set updated for coreboot: 12c994b intel SMI handlers: Refactor GPI SMI/SCI routing