enabled hard FPU