Re: [coreboot] repository rename