[coreboot] repository rename