Fix kernel-install script for grub2.