[coreboot-gerrit] New patch to review for coreboot: 2c4e5dc DO NOT MERGE: include: Missing files