How to remove kernel-patch-viewos from Debian 9 (Stretch)