Auto mirror #581

Job	Run time
mirror	38s
build (gcc, vanilla)	7m 30s
build (gcc, dpdk)	8m 9s
build (gcc, dpdk-light)	10m 37s
build (gcc, netmap)	7m 27s
build (gcc, vanilla-nopool)	7m 15s
build (gcc, dpdk-flow-dynamic)	8m 51s
build (clang, vanilla)	11m 8s
build (clang, dpdk)	11m 48s
build (clang, dpdk-light)	14m 0s
build (clang, netmap)	11m 13s
build (clang, vanilla-nopool)	10m 53s
build (clang, dpdk-flow-dynamic)	11m 46s
	2h 1m 15s

Provide feedback