I think their claim is that once the vmware modules load, they insert themselves under the Linux kernel (so Linux then acts like a dom0, similar to how Xen uses

I think their claim is that once the vmware modules load, they insert themselves under the Linux kernel (so Linux then acts like a dom0, similar to how Xen uses it). In that case, it would be in concept the same as one Linux kernel booting, and kexec'ing a second kernel.