Port: Add PMU cycle counting for Armv8.1-M

[mkannwischer]

pq-code-package/mlkem-native#1514

The benchmark parameters should be picked such that the benchmarks complete in a reasonable time on the MPS3.