dpdk-cryptodev: fix name formatting of session pools