mathworks/socfpga: use sockit DTS
mathworks/socfpga: rebuild CycV dev kit SPL