change EPT_THRESHOLD to 30000 (1VCPU case)