No. This problem is really the problem in bug 54621. Everyone please look there for the real cause of the problem and a better workaround. -- Kernel panic - not syncing: IO-APIC + timer doesn't work! https://launchpad.net/bugs/52553