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