For some reason # CONFIG_ARCH_FPU is not set also unsets ARCH_FPU for the .config file, meaning FPU support is not built.