vxlan: tun_id is 64bit, not 32bit