debian/grub-common.install
