[coreboot] Patch merged into coreboot/master: ae06e61 Correct the location of the include file