# CONFIG_MDA_CONSOLE is not set
