# CONFIG_UIO_NETX is not set