I'm trying to install NetBSD on a new Vaio laptop.  The 1.4.1 and
-current snapshots allocate IRQ 9 for all the PCMCIA devices I can
find.  But that results in `write-only' NICs: tcpdump on another host
shows that packets are getting out, but the laptop never receives
anything.

My guess is that IRQ 9 isnt mapped through the PCIC on this hardware.
Sure enough, Linux (on a similar, slightly older Vaio) uses IRQ 3.
(then again,  perhaps its a cardbus-in-pcmcia-compatiblity-mode bug).

The pcic_alloc_intr_mask is not patcheable (there are no symbols
in install kernels).  I dont have 1.4.1 source around anymore.

I'm stumped. How do people install NetBSD on laptops like this?
(FWIW, linux installs like a charm...)