Stangeがどうしてそんなに難しいのか...見つけられるのは、ソースリストにあるこのパッケージだけです。
Package: linux-libc-dev
Source: linux
Version: 3.2.21-1+rpi1
Architecture: armhf
Maintainer: Debian Kernel Team <debian-kernel@lists.debian.org>
Installed-Size: 2790
Conflicts: linux-kernel-headers
Replaces: linux-kernel-headers
Provides: linux-kernel-headers
Multi-Arch: same
Priority: optional
Section: devel
Filename: pool/main/l/linux/linux-libc-dev_3.2.21-1+rpi1_armhf.deb
Size: 764146
SHA256: b75b35ccf8e7fbac582ad08af9579a23095f9dbbc9e7369430e43d584afc48fd
SHA1: e8c3bb2a30483c51ee39b525becd6e213ae9c2c7
MD5sum: 840e28237198aa137dfcdb558ef1cbf5
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
libraries.
必要なツールを提供しているように見えますが、なぜというパッケージが存在しないのかわかりませんlinux-kernel-headers
。
ただし、パッケージアーカイブを調べると、次のことがわかります。
http://archive.raspbian.org/raspbian/pool/main/l/linux-latest/
おそらく、そのディレクトリ内のヘッダーパッケージの1つが、必要なカーネル用になります。
残念ながら、Raspbianを自分でまだインストールしていないので、TODOリストには載っていますが、現在提供できる情報はこれだけです。