# CONFIG_USING_FPU_IN_KERNEL_NONATOMIC is not set
