Symbol: IA32_VMX_USE_MSR_BITMAPS