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