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