genode/base-hw/lib/mk/arm_v7/enable_perf_counter.mk