[PKT_SCHED]: Change default clock source to gettimeofday