Use BMI1 instructions