DAQ platform based on SoC-FPGA for high resolution time stamping in cosmic ray detection