BMI1 would be straightforward to implement, BMI2 would take a bit more effort because of the PDEP, PEXT, and BZHI instructions. Bigger problem is that we don't support VEX three operand decoding in the frontend at all. Disable these until then