monitor: lazy Scheduling Context rebind#440

Ivan-Velickovic merged 1 commit intoseL4:mainseL4/microkit:mainfrom

au-ts:lazy_sc_rebind_simpleau-ts/microkit:lazy_sc_rebind_simpleCopy head branch name to clipboard