Clean and Modify checkpoint related scripts for spec2006 running on *one* core, and add sync function to sem_helper.h