[PATCH kernel-4.19 207/244] x86/reboot: Force all cpus to exit VMX root if VMX is supported