amd64 bmi2
