wrc_main: initialize syscon timer prior to low-level board init so that it can use the delay() functions