A few more AVX2 spec instructions