# CONFIG_MACH_MMP3_DT is not set