# CONFIG_THUNDERX2_PMU is not set
