Fix approach used for making PDs passive#535

dreamliner787-9 wants to merge 5 commits into

seL4:mainseL4/microkit:mainfrom

au-ts:passive_improveau-ts/microkit:passive_improveCopy head branch name to clipboard