[U-Boot-Users] PATCH - Gateworks Avila (Xscale IXP42x) support