I just committed support for Gateworks Cambria boards (IXP435) to HEAD.
This has major changes for IXP425 users so beware. I know that
ARM_USE_SMALL_ALLOC is broken by this (on IXP425 at least); it will be
fixed. I think the trampoline code also needs fixups to deal with
PHYSADDR changing from 0x10000000 to 0.
Sam