# CONFIG_IEEE802154_SOCKET is not set
