pbio/sys/main: Drive pbio/os hook.

This was missed when upgrading the event loop system. This would cause the charger event loop to not run after being switched off.

Rather than switch to the direct equivalent of pbio_do_one_event (pbio_os_run_processes_once), we can use pbio_os_run_processes_and_wait_for_event since it can otherwise be idle.

Author: laurensvalk

lib/pbio/sys/main.c

@@ -136,7 +136,7 @@ int main(int argc, char **argv) {
     // or USB being plugged in, so we have this loop to keep pumping events
     // to turn off most of the peripherals and keep the battery charger running.
     while (pbsys_status_test(PBIO_PYBRICKS_STATUS_POWER_BUTTON_PRESSED) || pbdrv_usb_get_bcd() != PBDRV_USB_BCD_NONE) {
-        pbio_do_one_event();
+        pbio_os_run_processes_and_wait_for_event();
     }
 
     // Platform-specific power off.