kern/42385: 5.0.1 and 5.0_STABLE Generic kernels do not boot on Dell Inspiron 531s

[prudhvi-krishna-bsd%surapaneni.in@localhost]

>Number:         42385
>Category:       kern
>Synopsis:       5.0.1 and 5.0_STABLE Generic kernels do not boot on Dell 
>Inspiron 531s
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    kern-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sat Nov 28 19:15:04 +0000 2009
>Originator:     Prudhvi Krishna Surapaneni
>Release:        NetBSD 5.0.1-RELEASE and 5.0_STABLE
>Organization:
Individual
>Environment:
NetBSD tau.surapaneni.in 5.0_STABLE NetBSD 5.0_STABLE (GENERIC) #0: Sat Nov 28 
02:29:07 CST 2009  
prudhvi%tau.surapaneni.in@localhost:/home/prudhvi/nbsd-stable/src/sys/arch/amd64/compile/obj/GENERIC
 amd64
>Description:
On Dell Inspiron 531s 5.0.1-RELEASE and 5.0_STABLE GENERIC kernels do not 
boot.It stops booting right after

[=== PARTIAL DMESG ===]
wsdisplay0 at vga0 kbdmux 1: console (80x25, vt100 emulation)
wsmux1: connecting to wsdisplay0
[=== PARTIAL DMESG ===]


It boots only if EHCI is disabled at userconf

[=== DMESG after disabling ehci ===]
(*) http://surapaneni.in/~prudhvi/dmesgs/5.0_STABLE.GENERIC.dmesg
[=== DMESG after disabling ehci ===]



>How-To-Repeat:
Try to boot 5.0.1-RELEASE iso's on Dell Inspiron 531s
>Fix:
Disabling ehci at the userconf prompt helped me boot.
But, i am not sure if this is the right fix.