# CONFIG_MGEODEGX1 is not set