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