# CONFIG_MCORE2 is not set