Re: [coreboot] [status] coreboot rename