kern/40589: NetBSD 5.0RC2 won't boot on a dell vostro 400 intel quad core

[philippe.sam-long%laposte.net@localhost]

>Number:         40589
>Category:       kern
>Synopsis:       NetBSD 5.0RC2 won't boot on a dell vostro 400 intel quad core
>Confidential:   no
>Severity:       critical
>Priority:       high
>Responsible:    kern-bug-people
>State:          open
>Class:          support
>Submitter-Id:   net
>Arrival-Date:   Mon Feb 09 11:15:00 +0000 2009
>Originator:     philippe sam-long
>Release:        5.0_RC2
>Organization:
Paseosoft
>Environment:
amd64 with LOCKDEBUG enabled (can't display uname as the kernel won't boot), 
machine is a dell vostro 400.
>Description:
amd64 kernel stuck at "fdc0 at isa0 port 0x3f0-0x3f7 irq 6 drq 2".

Enabling LOCKDEBUG option at compile time didn't help. Disabling acpi or smp 
didn't help either. The same problem occurs on i386.

With NetBSD 4.0.1, it was possible to boot the INSTALL kernel, but the USB 
keyboard wouldn't work unless unplugged then replugged. GENERIC 4.0.1 kernel 
was ok.
>How-To-Repeat:
boot 5.0_RC2 install CD on a DELL vostro 400.
>Fix: