Re: [PATCH 4.4 10/24] x86/fpu: Hard-disable lazy FPU mode