CONFIG_X86_DEBUG_FPU=y
