The latest grub package update needs some manual intervention