[coreboot-gerrit] New patch to review for coreboot: d4094ab intel eagleheights & xe7501devkit 'ioapic.h': Add missing header guards