On: "update-grub" patch to prioritize VServer kernels before the others on Debian

November 2015