How Did KVM Virtualization Get Into the Linux Kernel?