# CONFIG_ENC28J60 is not set