[seL4] How are capabilities assigned