Symbol: IA32_ARCH_CAP_SSB_NO