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

[Leonid Shatz]

On Thu, Jan 21, 2016 at 01:08:18PM -0800, H. Peter Anvin wrote:
>> 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.
>> 
>> 	-hpa
>> 
>Agree. Thanks Peter and Leonid!

Thank you all for your feedback and clarifications. That's was my assumption
that SDM was somewhat misleading, but I was not %100 sure about it. It could
be nice, though to see future releases of SDM taking this issue in account.

Leonid