# CONFIG_MARVELL_PEM_PMU is not set
