# CONFIG_HNS3_ENET is not set
