Re: [coreboot] Disabling hyper-threading on Ivy Bridge