[U-Boot] Same U-Boot for smdk6400 and smdk6410...?