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