pbio/sys/core: Use pbio os run hook.

Otherwise we don't drive the new processes.

Fixes the light not blinking at the end because
the newly updated LED process was not driven during
pbsys deinit.

Author: laurensvalk

lib/pbio/sys/core.c

@@ -3,9 +3,8 @@
 
 #include <stdint.h>
 
-#include <contiki.h>
-
 #include <pbio/main.h>
+#include <pbio/os.h>
 
 #include <pbsys/battery.h>
 #include <pbsys/bluetooth.h>
@@ -51,7 +50,7 @@ void pbsys_init(void) {
     process_start(&pbsys_system_process);
 
     while (pbsys_init_busy()) {
-        pbio_do_one_event();
+        pbio_os_run_processes_once();
     }
 }
 
@@ -64,6 +63,6 @@ void pbsys_deinit(void) {
     // Wait for all relevant pbsys processes to end, but at least 500 ms so we
     // see a shutdown animation even if the button is released sooner.
     while (pbsys_init_busy() || pbdrv_clock_get_ms() - start < 500) {
-        pbio_do_one_event();
+        pbio_os_run_processes_once();
     }
 }