Use the SSE counters since the x87 coprocessor is rarely used