Hi; I am trying to bring up u-boot-2009-08-rc1 on IXP425 board. May I know what's the reason that the TEXT_BASE is 0x00f80000 instead of 0 or 0x50000000? Thanks. Regards, KH