Re: [coreboot] [BUILDROM] coreboot rename