[coreboot] Patch merged into coreboot/master: 8bc10b7 armv7: delete some unused files