Configuring a distributed VXLAN IP gateway