From: Or Gerlitz <redacted>
Date: Sun, 30 Mar 2014 14:28:25 +0300

Make sure that vxlan_get_rx_port() is present in the kernel build in a manner
consistent with mlx4. Otherwise, mlx4 can be made built-in where vxlan as a module
and the linking phase of the kernel build fails. Add CONFIG_MLX4_EN_VXLAN for that.

Signed-off-by: Or Gerlitz <redacted>

Please do this properly like the I40E_VXLAN Kconfig knob does, you have
to protect everything including the ndo_*() methods and support code.