[U-Boot] [PATCH] Add support for the galaxy5200 board.