Irrelevant man pages
The man pages distributed via the man-pages package, which is generated from the kernel.org documentation, aren’t relevant to our distribution. They assume that the GNU libc is distributed, and probably that the GNU userland is distributed as well.
We should find another source for those manuals.
(from redmine: issue id 5893, created on 2016-07-13)