It's a bug. There are several reports filed, and the devs are trying to decide which package the manpages should actually be in (there are 4 more if you get past this one).
In the meantime, if you just want to install manpages-dev, and don't care about these kernel-module-type pages or which package owns them, you can do this as root:
apt-get -d install manpages-dev
dpkg -i --force-overwrite manpages-dev_2.25-2_all.deb
Normally I don't recommend doing this kind of thing, but for something as silly as some manpages, you'll be ok.