How to remove ksmtuned from Debian 9 (Stretch)