How to install linux-patch-debianlogo on Debian 9 (Stretch)