[Bug 623005] New: 11.3 pae kernel won't boot with acpi on dual opteron