In puavo-install-grub, do update grub configuration only
if it has changed.