tale of a disappearing mouse

Dear all,

I've been experiencing this issue for quite some time, but never really 
managed to collect all the data that seemed useful in one place for the 
same kernel.  I think I now have enough to ask for help.

Sometimes, when I boot my laptop (Lenovo T400), my pointing device will 
just ... not be probed.  Early on, this seemed to happen maybe half the 
time, though recently it has been much less common.  (Possibly correlated 
to the presence of an OpenAFS client on this machine, which makes no 
sense.)

Verbose dmesg for the mouse and nomouse case may be found at:
http://web.mit.edu/afs/sipb/user/kaduk/freebsd/hysteresis/

The relevant-seeming portion of the diff is:
_at__at_ -602,10 +602,16 _at__at_
   psm0: unable to allocate IRQ
   psmcpnp0: <PS/2 mouse port> irq 12 on acpi0
   psm0: current command byte:0047
-psm0: failed to reset the aux device.
+psm0: <PS/2 Mouse> irq 12 on atkbdc0
+ioapic0: routing intpin 12 (ISA IRQ 12) to lapic 0 vector 60
+psm0: [GIANT-LOCKED]
+psm0: [ITHREAD]
+psm0: model Generic PS/2 mouse, device ID 0-00, 2 buttons
+psm0: config:00000000, flags:00000008, packet size:3
+psm0: syncmask:c0, syncbits:00

Where should I be looking to track down the root cause?

This is on:
FreeBSD hysteresis.mit.edu 9.0-CURRENT FreeBSD 9.0-CURRENT #25: Mon May 17 
20:37:32 EDT 2010 kaduk_at_hysteresis.mit.edu:/usr/obj/usr/src/sys/GENERIC 
amd64

(Pretty old, I know -- changing kernels while doing development on a 
filesystem didn't really seem like a good idea.)

Thanks,

Ben Kaduk