How to remove linux-headers-rt-amd64 from Debian 9 (Stretch)