How to remove debian-kernel-handbook from Debian 9 (Stretch)