Handoff untypeds to a PD after initialisation#436

Willmish wants to merge 5 commits intoseL4:mainseL4/microkit:mainfrom

au-ts:szymon/handoff-untypedsau-ts/microkit:szymon/handoff-untypedsCopy head branch name to clipboard