At configuration time, before building, users can select
the ntpserver to be used to prime WR time at boot.  By default
no server is queried.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>