openvswitch: Re-add CONFIG_OPENVSWITCH_VXLAN