vxlan: Update netdev_vport_get_dpif_port() to support VXLAN port names