sgc__ respondió:
Siento no haber podido contestar antes, he estado muy liado por motivos trabajo, viajes, etc... Si estas en lo cierto este mensaje parte del kernel exactamente de: i386/kernel/timer.c como se advierte en un mensaje del 11 de Enero en la mailinglist...