grub.cfg and kernel video resolution