CONFIG_FPU=y
