Compteurs natifs sur le Intel T7200 en 32 bits