Re: x86/fpu: Disable AVX when eagerfpu is off