Make KernelTun batch-compatible

10 jobs for master in 11 minutes and 28 seconds
Status Job ID Name Coverage
  Test
passed #10200
autobatch

00:02:26

passed #10199
batch

00:02:38

passed #10203
dpdk-batch

00:02:24

passed #10204
dpdk-nobatch

00:02:05

passed #10201
ip6

00:02:17

passed #10202
mt

00:02:34

passed #10206
netmap

00:01:42

passed #10207
netmap_nopool

00:02:13

passed #10208
netmap_nopool_nozc

00:02:18

passed #10205
netmap_single

00:01:36