# CONFIG_DECNET is not set