contrib/board-setup-helper.py: Use new lava-ser2net hostname.

Instead of older bare "ser2net", which is being deprecated. The new hostname
has "lava-" prefix, for consistency with other services.

Signed-off-by: Paul Sokolovsky <paul.sokolovsky@linaro.org>

Author: pfalcon

contrib/board-setup-helper.py

@@ -79,7 +79,7 @@ def get_device_numbers(serial_no, dev_type, board_file, ser2net_file):
                         if "by-id" in l:
                             port = ser2net(l, ser2net_file)
                             if (port and not found_tty):
-                                board_jinja.write("{%% set connection_command = 'telnet ser2net %d' %%}\n" % port)
+                                board_jinja.write("{%% set connection_command = 'telnet lava-ser2net %d' %%}\n" % port)
                                 found_tty = True #If there are multiple serial ports, connect to the first one
             break