amd64: clean up counter(9)

• stop open-coding access to per-cpu data, use common macros instead
• consistently use counter_t type where appropriate