Raspberry pi aarch64. I don't get any counter that is that fast.