[coreboot-gerrit] Patch merged into coreboot/master: 51ca10f arch/x86/include/arch/interrupt.h: Add header guards