get_fsr
fpu_vers = get_psr() & PSR_EF ? ((get_fsr() >> 17) & 0x7) : 7;
fpu_vers = ((get_fsr() >> 17) & 0x7);