armv8_pmu_detect
if (cpu_mpidr_aff_read() == mpidr && armv8_pmu_detect())
KASSERT(armv8_pmu_detect());
bool armv8_pmu_detect(void);