How to install gfxboot on Debian 9 (Stretch)