How to remove kernel-wedge from Debian 9 (Stretch)