manual grub.cfg