# CONFIG_ARCH_MMP is not set