diff --git a/bochs/cpu/cpudb/intel/corei7_skylake-x.cc b/bochs/cpu/cpudb/intel/corei7_skylake-x.cc
index 28ea863d9..5a62a4f3c 100644
--- a/bochs/cpu/cpudb/intel/corei7_skylake-x.cc
+++ b/bochs/cpu/cpudb/intel/corei7_skylake-x.cc
@@ -218,24 +218,6 @@ void corei7_skylake_x_t::get_cpuid_leaf(Bit32u function, Bit32u subfunction, cpu
 // MSR 0000048F: 01FF-FFFF-0003-6DFB	BX_MSR_VMX_TRUE_VMEXIT_CTRLS
 // MSR 00000490: 0003-FFFF-0000-11FB	BX_MSR_VMX_TRUE_VMENTRY_CTRLS
 
-// MSR 00000480: 00DA-0400-0000-0012    BX_MSR_VMX_BASIC
-// MSR 00000481: 0000-007F-0000-0016    BX_MSR_VMX_PINBASED_CTRLS
-// MSR 00000482: FFF9-FFFE-0401-E172    BX_MSR_VMX_PROCBASED_CTRLS
-// MSR 00000483: 007F-FFFF-0003-6DFF    BX_MSR_VMX_VMEXIT_CTRLS
-// MSR 00000484: 0000-FFFF-0000-11FF    BX_MSR_VMX_VMENTRY_CTRLS
-// MSR 00000485: 0000-0000-3004-81E5    BX_MSR_VMX_MISC
-// MSR 00000486: 0000-0000-8000-0021    BX_MSR_VMX_CR0_FIXED0
-// MSR 00000487: 0000-0000-FFFF-FFFF    BX_MSR_VMX_CR0_FIXED1
-// MSR 00000488: 0000-0000-0000-2000    BX_MSR_VMX_CR4_FIXED0
-// MSR 00000489: 0000-0000-0037-67FF    BX_MSR_VMX_CR4_FIXED1
-// MSR 0000048A: 0000-0000-0000-002A    BX_MSR_VMX_VMCS_ENUM
-// MSR 0000048B: 0005-7CFF-0000-0000    BX_MSR_VMX_PROCBASED_CTRLS2
-// MSR 0000048C: 0000-0F01-0633-4141    BX_MSR_VMX_MSR_VMX_EPT_VPID_CAP
-// MSR 0000048D: 0000-007F-0000-0016    BX_MSR_VMX_TRUE_PINBASED_CTRLS
-// MSR 0000048E: FFF9-FFFE-0400-6172    BX_MSR_VMX_TRUE_PINBASED_CTRLS
-// MSR 0000048F: 007F-FFFF-0003-6DFB    BX_MSR_VMX_TRUE_VMEXIT_CTRLS
-// MSR 00000490: 0000-FFFF-0000-11FB    BX_MSR_VMX_TRUE_VMENTRY_CTRLS
-
 Bit32u corei7_skylake_x_t::get_vmx_extensions_bitmask(void) const
 {
   return BX_VMX_TPR_SHADOW |