User Mode Linux kernel, build scripts, and docs for usage with Netkit virtual machines (Linux 3.8 variant)