How to remove dtc-xen-firewall from Debian 9 (Stretch)