[PATCH] ARM: Fix VEXT encoding

[Tim Northover]

> Indeed, I meant 0b0xxx. Here is a new patch with your suggested change.

That looks good to me. Would you like me to commit it or can you?

Cheers.

Tim.