grub: don't set defaults again