Re: [coreboot] core names