monitor: lazy Scheduling Context rebind

Applied seL4/seL4#523 to workaround
seL4/seL4#1617

Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>

Author: dreamliner787-9

monitor/src/main.c

@@ -732,19 +732,13 @@ static void monitor(void)
         seL4_Word tcb_cap = BASE_PD_TCB_CAP + pd_id;
 
         if (label == seL4_Fault_NullFault && pd_id < MAX_PDS) {
-            /* This is a request from our PD to become passive */
-            err = seL4_SchedContext_UnbindObject(BASE_SCHED_CONTEXT_CAP + pd_id, tcb_cap);
+            err = seL4_SchedContext_Bind(BASE_SCHED_CONTEXT_CAP + pd_id, BASE_NOTIFICATION_CAP + pd_id);
             if (err != seL4_NoError) {
-                puts("MON|ERROR: could not unbind scheduling context from thread control block\n");
+                puts("MON|ERROR: could not bind scheduling context to notification object\n");
             } else {
-                err = seL4_SchedContext_Bind(BASE_SCHED_CONTEXT_CAP + pd_id, BASE_NOTIFICATION_CAP + pd_id);
-                if (err != seL4_NoError) {
-                    puts("MON|ERROR: could not bind scheduling context to notification object\n");
-                } else {
-                    puts("MON|INFO: PD '");
-                    puts(pd_names[pd_id]);
-                    puts("' is now passive!\n");
-                }
+                puts("MON|INFO: PD '");
+                puts(pd_names[pd_id]);
+                puts("' is now passive!\n");
             }
 
             continue;