Re: grub2 always defaults to old kernel despite correct configuration