Added sed line to change /etc/grub.d/10_linux