# CONFIG_ARCNET is not set