Re: [coreboot] SMP for core2