kernel: Use new symbol to deactivate MIPS FPU support