Set tsc_freq on each core, instead of just core 0
Update run-ctxswitch to match new output format