[PATCH] ARM: dts: TS-4800: Add gpio driver

Add dts nodes for TS-4800 FPGA gpio chips. Signed-off-by: Julien Grossholtz <julien.grossholtz@savoirfairelinux.com> --- arch/arm/boot/dts/imx51-ts4