[coreboot-gerrit] Patch set updated for coreboot: 8a00d1c arch/x86/include/arch/interrupt.h: Add header guards