Switch to using counter(9) for the new 64-bit stats kept by armv6 busdma.