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