Silence cmp in puavo-install-grub a bit more.