Compaq ProLiant 1600 server freezes when detecting keyboard controller

This appears to be reated to PR i386/87026, "[hang] Bootup hang on
atkbdc on Compaq 1850R between 6.0-CURRENT-SNAP004 and 6.0-BETA5"
http://www.freebsd.org/cgi/query-pr.cgi?pr=i386/87026

In my case, I have a -current kernel from August 20th 2005 that
continues to boot properly. Subsequent kernels, including both Oct 20
and Nov 17, fail to boot past the atkbdc point. It's an interesting
freeze in that cntrl-alt-del doesn't perform a reboot. The Aug 20 kernel
lines corresponding to that point look like this:

atkbdc0: <Keyboard controller (i8042)> at port 0x60,0x64 on isa0
atkbd0: <AT Keyboard> irq 1 on atkbdc0

I've been ignoring the problem so far and just using the Aug 20 kernel.
Unfortunately, my userland is no longer in sync with my kernel (loading PF
especially kills the machine) and so I figured I'd better actually ask
about the problem and see if I can get it resolved.

I have a single PCI card, an xl NIC that I use in addition to the
onboard tl NIC:

xl0: <3Com 3c900B-TPO Etherlink XL> port 0x2000-0x207f mem
0xc6dfee80-0xc6dfeeff irq 15 at device 15.0 on pci0
xl0: selecting 10baseT transceiver, half duplex
xl0: Ethernet address: 00:01:02:2d:17:47
xl0: [GIANT-LOCKED]

The server is otherwise bare-bones and is used as a firewall/anti-spam
mail relay. It's running a custom kernel, GENERIC from Nov 17 with the
debugging and SMP sections commented out and IPSEC/firewalling added.

The work-around described in the PR I mentioned above (setting
hint.atkbd.0.flags and enabling ACPI) didn't help.

I've posted a dmesg from the working Aug 20 kernel to
http://www.seekingfire.com/files/dmesg.boot which I'll leave up for a
few days. I don't have the capability to post the boot process for a
newer kernel because it freezes before that point. I'll look into
setting up serial output for it, though my digi box is misbehaving
lately and I've been unable to connect this particular server to it
successfully.

Any suggested workarounds for this sort of issue?

-T


-- 
Real men make their own kernel with nothing but a ball of string, a hammer and
the instruction manual from a Norelco shaver. Why I remember hacking a copy of
OS390 onto my TRS-80 using a 4 baud modem running Morse Code emulation .... I
used the RPG compiler to build a damn refrigerator.  -- AppyPappy on Slashdot