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