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