Get riscv-tests working again
Cope with presence of Smrnmi extension
Update encoding.h for Smrnmi definitions
You can also use your local clone with git send-email.