[Bug 457057] kernel update changes grub default entry