kern/42123: Machine can't boot with ACPI enabled

[gendalia%NetBSD.org@localhost]

>Number:         42123
>Category:       kern
>Synopsis:       Machine can't boot with ACPI enabled
>Confidential:   no
>Severity:       critical
>Priority:       high
>Responsible:    kern-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Thu Sep 24 23:50:00 +0000 2009
>Originator:     Tracy Di Marco White
>Release:        5.0.1
>Organization:
>Environment:
5.0.1 NetBSD 5.0.1 (GENERIC) #0: Thu Jul 30 01:39:11 UTC 2009  
builds%b8.netbsd.org@localhost:/home/builds/ab/netbsd-5-0-1-RELEASE/i386/200907292356Z-obj/home/builds/ab/netbsd-5-0-1-RELEASE/src/sys/arch/i386/compile/GENERIC
 i386

>Description:
booting with ACPI enabled: 
http://gendalia.public.iastate.edu/blackhole-5.0.1-mpt.txt
booting with no ACPI: 
http://gendalia.public.iastate.edu/blackhole-5.0.1-mpt-no-acpi.txt
The upgrade with the installation CD was straightforward, with no need to 
disable ACPI.
>How-To-Repeat:
boot my Dell 2800 with ACPI enabled.
>Fix: