Re: [coreboot] Coreinfo and geode conflict in buildrom