[coreboot] New patch to review for coreboot: c72d82a Correct the location of the include file