The new Kconfig option allows dowloading ppsi.conf at boot time, from
TFTP or otherwise.  The filename in the URL can include IPADDR and/or
MACADDR, so the same configuration string can be used to set up a
batch of switches with different configurations.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>