Hi Robin
Instead of compiling your own, you can also try to use
the kernel from
64studio (it's also debian based) which IIRC is tickless:
http://apt.64studio.com/64studio/stable/pool/main/l/linux-2.6/
I'm afraid that particular kernel is not tickless, it was never intended
for power-saving:
$ grep NO_HZ /boot/config-2.6.21-1-multimedia-amd64
# CONFIG_NO_HZ is not set
We are looking at the tickless feature for power savings on the Indamixx
though.
Cheers!
Daniel