Fix undefined_tramp register encoding on ARM.

The encoding changed, it's now 6, not 5 bits.