arm/socfpga: adding DTS for SoCkit