x86, fpu: Check tsk_used_math() in kernel_fpu_end() for eager FPU