[coreboot] Patch merged into coreboot/master: 1bd276a Add standard header to prevent multiple inclusion