NetBSD 4.0.1 install on TS-7200

[Ken Hornstein <kenh%cmf.nrl.navy.mil@localhost>]

So, I have a TS-7200 running 3.99.something, and I figured that I'd try
upgrading it to 4.0.1.  However ... I'm running into some problems.

I tried using the netbsd-TS7200_INSTALL kernel from the 4.0.1 distribution.
That didn't exactly work:

RedBoot> load -h 192.168.1.0 netbsd-TS7200_INSTALL.srec
Using default protocol (TFTP)
Entry point: 0x00200000, address range: 0x00200000-0x007f8dac
RedBoot> go
$T0a0f:348136c0;0d:48957fc0;#cf

Any key presses result in similar garbage.

I thought that maybe there was a problem with the install kernel, so hey,
I'll try building my own from the 4.0.1 sources.  But ... that doesn't
seem to work either:

[... blah blah blah ...]
#    create  instkernel/netbsd-TS7200_INSTALL (from: 
/Users/kenh/NetBSD-4.0.1/obj/sys/arch/evbarm/compile/TS7200_INSTALL/netbsd 
/Users/kenh/NetBSD-4.0.1/obj/distrib/evbarm/instkernel/ramdisk/ramdisk.fs)
/Users/kenh/NetBSD-4.0.1/obj/tooldir.Darwin-9.5.0-powerpc/bin/arm--netbsdelf-mdsetimage
 -v netbsd-TS7200_INSTALL.tmp 
/Users/kenh/NetBSD-4.0.1/obj/distrib/evbarm/instkernel/ramdisk/ramdisk.fs
usage: 
/Users/kenh/NetBSD-4.0.1/obj/tooldir.Darwin-9.5.0-powerpc/bin/arm--netbsdelf-mdsetimage
 [-svx] [-b bfdname] kernel image
supported targets: elf32-littlearm elf32-bigarm a.out-arm-netbsd 
coff-arm-little coff-arm-big elf32-little elf32-big srec symbolsrec tekhex 
binary ihex

*** Failed target:  netbsd-TS7200_INSTALL

This makes me wonder three things:

1) Did anyone happen to test the install kernel for the TS7200?  (I know that
   might be difficult if you don't have the hardware)
2) Does the install kernel work for anyone else?
3) How was this ever built?  (Seems like the problem is the -v flag to
   mdsetimage; that could very well be a MacOS-specific problem.  I'll
   look into that further).

--Ken