The last kernel I have tried in which the promethean kernel module compiles belongs to the 3.4.x series. You don't find a precompiled Debian version of this kernel. Compiling a kernel in the Debian style is not that difficult: the kernel itself, the one you can download from kernel.org, provides a way of automatically packaging the kernel, the headers and the firmware in .deb packets.
If you want to walk this path you need:
- downloading the kernel (3.4.something) example: linux-3.4.12.tar.bz2
- save it on /usr/src (you need specific privileges to do so)
- unpack the tarball, for example: tar xf linux-3.4.12.tar.bz2
- cd into the source directory
- configuring the kernel source using make: make oldconfig (this to have a configuration similar to the one of your running kernel) OR make localmodconfig (it reads the active modules at the moment and configure the kernel accordingly). The first method is foolproof the second requires a bit of knowledge of your system and more interactions in the configuration process, the benefits are a smaller kernel and a faster compilation.
- Actually compile your kernel: make -j2 KDEB_PKGVERSION=1 deb-pkg ( -j2 stands for the number of cores you have)
- Install the kernel: sudo dpkg -i your_headers.deb your_image.deb and so on. Grub should have a new entry and be automatically prepared to boot your kernel.
At boot time, if you have activdriver already installed, the init script should compile automatically the board driver for your running kernel.
Bye