Error if --enable-dpdk-pool without launching with --dpdk

10 jobs from master in 11 minutes and 30 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #9728
autobatch

00:02:34

passed #9727
batch

00:02:39

passed #9731
dpdk-batch

00:02:19

passed #9732
dpdk-nobatch

00:02:12

passed #9729
ip6

00:02:24

passed #9730
mt

00:02:31

passed #9734
netmap

00:01:45

passed #9735
netmap_nopool

00:02:15

passed #9736
netmap_nopool_nozc

00:02:19

passed #9733
netmap_single

00:01:43