Tout d'abord, ce sont des kernels 32 bits ! A ne pas essayer sur du 64 bits :)
Voici donc un noyau 2.6.25 tout fraichement testé sur XL et v2. Par rapport au kernel officiel dedibox (le r8-1-smp-x32), les modifications sont :

  • Ajout du support watchdog sur les XL (module iTCO_wdt). Le watchdog sur les v2 était déjà inclus (module w83627hf_wdt)
  • Ajout du module coretemp afin de sonder les températures des core du T7200 de la XL


Ce kernel 2.6.25 est dispo ici : http://files.si7v.fr/kernel/2.6.25/

Côté lm-sensors, je vous ai fait des jolis backports etch en 32 et 64 bits. En effet le lm-sensors fourni par Debian etch est complètement perdu sur une carte mère de dedibox v2 et ne parvient pas à trouver les températures.
Ces paquets sont disponibles ici : http://files.si7v.fr/lm-sensors/