Modify dpif_linux_port_add() to set the destination port for VXLAN ports.