vmm(4): Decode 3-byte VEX-prefixed instructions
Reviewed by: grehan Differential Revision: https://reviews.freebsd.org/D24462