# CONFIG_FDDI is not set