Synopsis: NETSD 5.1_RC1 doesn't boot with ACPI enabled State-Changed-From-To: open->closed State-Changed-By: dholland%NetBSD.org@localhost State-Changed-When: Sun, 27 Jun 2010 23:51:33 +0000 State-Changed-Why: Issue was caused by a different non-default BIOS setting.