Manpages of kernel-common in Debian stretch-backports