Je viens de découvrir que la saveur -k7 du noyau linux n'est plus maintenue par Debian. Les gens comme moi sont prié de basculer en -686. Perso, je ne me rends pas compte de la différence, mais bon. Pour plus d'info, un article sur LinuxFr.