[U-Boot] [PATCH] powerpc/85xx: Add T4240RDB board support