Port Linux's percpu_counters