[Bug 1224776] New: make install in kernel directory adds "1.13" to distro name in grub