How to install grub-pc on Debian 9 (Stretch)