Capabilities for quantitative resources working.

Status:
- Capability initialization is a bit hacky with dummy current etc.
- All container caps belong to the pager
- Tasks refer to their pager's capabilities for mutex allocation - Hacky.
- Kernel container keeps quantitative caps and memory caps in separate lists - Hacky.

These will all evolve and get fixed.

src/generic/tcb.c

@@ -42,26 +42,6 @@ void tcb_init(struct ktcb *new)
 	waitqueue_head_init(&new->wqh_pager);
 }
 
-
-struct ktcb *tcb_alloc_init_use_capability(struct capability *cap)
-{
-	struct ktcb *tcb;
-	struct task_ids ids;
-
-	if (!(tcb = alloc_ktcb_use_capability(cap)))
-		return 0;
-
-	ids.tid = id_new(&kernel_container.ktcb_ids);
-	ids.tgid = L4_NILTHREAD;
-	ids.spid = L4_NILTHREAD;
-
-	set_task_ids(tcb, &ids);
-
-	tcb_init(tcb);
-
-	return tcb;
-}
-
 struct ktcb *tcb_alloc_init(void)
 {
 	struct ktcb *tcb;