# CONFIG_ARM_DMC620_PMU is not set
