update grub.config