Using ArmCpuModes[flags_p->Mode] should be the same, no?