Man pages matching name kernel in section 7:

kernel.7.en	debian 10 / erlang-manpages
kernel.7.en	debian 11 / erlang-manpages
kernel.7.en	debian 12 / erlang-manpages