fix mulxn_ri instruction for ARM
fix missing header in rtimag