implements Process.NumCtxSwitches() on linux.