Problem STILL not fixed. I'm quite sure this is a frequency problem as described above by Rob van den Bogaard. -- Kernel panic - not syncing: IO-APIC + timer doesn't work! https://launchpad.net/bugs/52553