Added code that modifies /etc/grub.d/10_linux