How to remove simple-tpm-pk11 from Debian 9 (Stretch)