[U-Boot-Users] Does ELDK support IXP425 (xscale)?