system-linux: add VXLAN support