perf_counter, x86: consistent use of type int for counter index