restoring avx shift_right