How to install loadlin on Debian 9 (Stretch)