Hi, is it still possible to measure cycle number in FVP? (cycle number reported by the PMU_CCNTR register using the has_pmu parameter).