rp2: Put back soft_timer_init.

or else nothing will work!

Signed-off-by: Peter Harper <peter.harper@raspberrypi.com>

Author: peterharperuk

ports/rp2/main.c

@@ -81,6 +81,7 @@ int main(int argc, char **argv) {
     #endif
 
     pendsv_init();
+    soft_timer_init();
 
     // Set the MCU frequency and as a side effect the peripheral clock to 48 MHz.
     set_sys_clock_khz(SYS_CLK_KHZ, false);