[U-Boot-Users] [PATCH] rename platform Vibren PXA255 IDP to DevKitIDP PXA255