[U-Boot] [PATCH] IXP425: Improving print_cpuinfo code Part 1/1