Re: [coreboot] [RFC] v3: cpu.c and cpu.h