[dmitrygr]

But thumb2 is dead. “Successful RISC CPUs” is aarch64. No thumb2.