changed grub.cfg-file a little