debconf set grub-pc install device