How to install linux-tools on Debian 9 (Stretch)