[coreboot] patch: rename