[coreboot] Re: Extended IvyBridge CPU configuration