[U-Boot-Users] [PATCH] changes for IDS8247 board support