I didn't do any configuration on the VMkernel. If I understand correctly, VMkernel networking is used for management tasks, such as vMotion, right? There's two VMkernels on the hosts, a system one and a VXLAN one.
Here's the VMkernel connected to the DSwitch: http://i.imgur.com/aFohHYF.png. I couldn't edit many settings here.
And here's the VXLAN TCP/IP stack. There's not much configured: http://i.imgur.com/d7lLqsk.png. The system Default VMkernel is configured. Should I configure the VXLAN one with DNS, routing, etc? On the Routing tab, a VMkernel gateway is not set.