diff --git a/src/arch/x86/object/vtx.c b/src/arch/x86/object/vtx.c
index 10b02a4..805070d 100644
--- a/src/arch/x86/object/vtx.c
+++ b/src/arch/x86/object/vtx.c
@@ -66,6 +66,10 @@ BOOT_CODE void vtx_enable(void)
     if (is_vtx_supported()) {
         uint64_t feature_control = ((uint64_t)x86_rdmsr_high(MSR_FEATURE_CONTROL)) << 32 | (uint64_t)x86_rdmsr_low(MSR_FEATURE_CONTROL);
         uint64_t vm_basic = ((uint64_t)x86_rdmsr_high(MSR_VM_BASIC)) << 32 | (uint64_t)x86_rdmsr_low(MSR_VM_BASIC);
+
+        feature_control |= FEATURE_CONTROL_MASK;
+        x86_wrmsr(MSR_FEATURE_CONTROL, feature_control | FEATURE_CONTROL_MASK);
+
         vmcs_revision = vm_basic;
         if ((feature_control & FEATURE_CONTROL_MASK) == FEATURE_CONTROL_MASK) {
             uint32_t vm_basic_high = vm_basic >> 32;