We only tested for BMI1 but not for BMI2, so we've been missing out on BMI2 performance gains for a little while. Oops.