[coreboot] r3547 - trunk/coreboot-v2/src/include