# CONFIG_X86_DEBUG_FPU is not set