edit grub.cfg