Add ARCH x86-64-bmi2 support