[coreboot-gerrit] Patch set updated for coreboot: 5bbd5fc x86: use proper types for interrupt callbacks