Enable mapping extra TCB and SC caps into PD's#406

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

au-ts:cap_sharingau-ts/microkit:cap_sharingCopy head branch name to clipboard