update fs.cipo rtsm port for benchmark

benchmark list:
  context1  coremark  dhry2  dhry2reg  execl  hanoi  pipe  syscall