[coreboot] Patch merged into coreboot/master: ca1238f Remove useless file from building.