/etc/default/grub - то, что нужно. Спасибо! (если править /boot/grub/grub.cfg, то изменения исчезают после update-grub)
Плохо, что номер дефолтовой точки входа угадывать приходится. У меня их больше десяти, нужна не первая, сразу и не определишь... С уважением, Евгений.
