change NumCtxSwitchesStat fields to int64