x86/KVM/VMX: Use MSR save list for IA32_FLUSH_CMD if required