It seems to be some kind of race condition in the ACPI startup since sometimes the boot works. Any idea on what would be needed in terms of debug output to track this down? -- Kernel panic - not syncing: IO-APIC + timer doesn't work! https://launchpad.net/bugs/52553