counter: fix SYSCTL_COUNTER_U64_ARRAY type

There is nothing wrong with declaring an array as CTLTYPE_U64. Note
that sysctl(8) is able to print such arrays and doesn't need any change.

Fixes: b5b7b142a7e0e74bdd8c497f6a14804e71654dfd