Stange how that is so difficult...All I can find is this package in the sources list:
Maintainer: Debian Kernel Team <[email protected]>
Description: Linux support headers for userspace development
This package provides userspaces headers from the Linux kernel. These
headers are used by the installed headers for GNU glibc and other system
It seems to provide the tools you need, but I have no idea why there isn't a package called
However, if you look in the package archive you can find this:
Perhaps one of the headers packages in that directory will be for the kernel you need.
Unfortunately that is all the information I can currently offer, as I have not yet installed Raspbian myself, although it is on my TODO list.