Further fix related to VEX_HWCAPS_X86_MMXEXT

Actually the flag is pretty new, so it was probably only today
that I was misread the comment.