# CONFIG_MARVELL_CN10K_DDR_PMU is not set
