[coreboot-gerrit] New patch to review for coreboot: 565e2f7 x86: use proper types for interrupt callbacks