NEC Mobilepro880 doesn't boot with current or netbsd-4

Hello all.

I grabbed kernels from these places:

ftp://ftp.netbsd.org/pub/NetBSD/NetBSD-daily/netbsd-4/200701170000Z/hpcmips/binary/sets/kern-GENERIC.tgz
ftp://ftp.netbsd.org/pub/NetBSD/NetBSD-daily/HEAD/200701150000Z/hpcmips/binary/sets/kern-GENERIC.tgz

Both do not boot. They do boot in an emulated environment using
gxemul, however I noticed that the hardware isn't discovered the same
way as on my real hardware so I don't know if that's relevant.

They do boot on my Mobilepro790 however. I just plug this exact same
CF card into it, and it boots just fine.

Here's the last few lines I get (typed by hand, if more is needed let me know):

mqvideo0: framebuffer address: 0xaa0ea600
trap: TLB miss (load or instr. fetch) in kernel mode
status=0x2, cause=0x8008, epc=0x80297568, vaddr=0
pid=0 cmd=swapper usp=0x0 ksp=0x8037bac8
Stopped in pid 0.1 (swapper) at 0x80297568:   lwr   t3,a1,-4
db> bt
80297550+18 (8037bb60,109,0,101) ra 802370d0 sz 0
802370a0+30 (8037bb60,109,0,101) ra 80235af8 sz 40
80235704+3f4 (8037bb60,109,0,101) ra 0 sz 0
User-level: pid 0.1
db>

Again, the above output is from this kernel:

ftp://ftp.netbsd.org/pub/NetBSD/NetBSD-daily/HEAD/200701150000Z/hpcmips/binary/sets/kern-GENERIC.tgz

Any help would be appreciated.

Andy