Actually, Etherbone is in gateware, and this option only enables Internet
Protocol in the software.  This fixes a long-standing misunderstanding.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>