Symbol: PIN_BASED_VM_EXEC_CONTROL