cpu_get_fpu_id
c->fpu_id = cpu_get_fpu_id();
return (cpu_get_fpu_id() & FPIR_IMP_MASK) != FPIR_IMP_NONE;