[klue07]

Wow this is great. I can confirm this works, though since SMAP is 20th bit, it should be

    cpuid.7.ebx = "-----------0--------------------"

Inside the VM:

    machdep.cpu.leaf7_features: SMEP ERMS RDWRFSGS TSC_THREAD_OFFSET BMI1 HLE AVX2 BMI2 INVPCID RTM RDSEED ADX FPU_CSDS

I have updated the post crediting you!

[awalton]

Oops, I counted in the wrong direction! I can't believe I missed that one >_<.