Just noticed something else...

> The problem is that netbsd IXDP425 kernel is configured to be loaded
> at 0x10200000 (KERNEL_BASE_phys = 0x10200000), and this address is
> invalid on coyote. So I rebuild netbsd t be loaded at a lower address

That address *is* valid on the Coyote. At least, my Coyote reports the 
following on powerup:

	RAM: 0x10000000-0x12000000, 0x10115668-0x11fdd000 available

And, in fact, I use 0x10200000 here for KERNEL_BASE_PHYS on the board.

Cheers, Steve