How to remove tp-smapi-dkms from Debian 9 (Stretch)