Re: Linux patch disabling AVX when eagerfpu is turned off - possibly not required

From: H. Peter Anvin
Date: Thu Jan 21 2016 - 16:09:27 EST

On 01/21/16 13:03, Yu-cheng Yu wrote:
> Hello Leonid,
> You are probably right. Let me check this and get back to you.
> Thanks,
> Yu-cheng

The hardware people have gotten back to us and this inconsistency in the
SDM is unintentional (other places in the SDM has it correctly.) So we
should revert this patch.