New distros in grub.cfg