User Mode Linux kernel, build scripts, and docs for usage with Netkit virtual machines