litmus-presi: better cache control + 32bits counters.
More specifically, cache touches/flushes are performed only once, when
several variables share the same cache line.