Last update. The only thing that I also saw what this clock:
In normal operation: cpu0: apic clock running at 199MHz Before a reboot when I have the problem: cpu0: apic clock running at 678MHz, But this is not always the same value. Anyway, that's all I have. Not a huge deal, I can always run the single processor kernel.
