# CONFIG_HNS_ENET is not set
