[U-Boot] [PATCH 0/2] ARM: ts4800: add board support