Add a test case for the bug fix of MSR_IA32_VMX_ENTRY_CTLS.