# CONFIG_XMON_DEFAULT is not set