AVX-512: fixed a bug in lowering VSELECT for 512-bit vector