[U-Boot] Seeking ARM development platform suggestions