Hi Ben, possibly unrelated, but neither the kernels of the Ubuntu installers for 12.04 and 14.04, nor the kernel for Fedora 21 installer, even boot on my VM. I reckoned that you might be interested, being a kernel hacker. CentOS 6.5 or OpenBSD 5.6 don't have a problem, though. Kind regards, --Toni++