# CONFIG_ARM_RK3399_DMC_DEVFREQ is not set