Moved scheduler from containers back to being a global.

It makes more sense to have a scheduler (or runqueue pair) per-cpu
rather than per-container. This provides more flexible global scheduling
policy that is also simpler due to all scheduling details being controlled
from a single point.

src/glue/arm/init.c

@@ -403,6 +403,7 @@ void init_finalize(struct kernel_container *kcont)
 	 * Set up KIP UTCB ref
 	 */
 	kip.utcb = (u32)current->utcb_address;
+
 	/*
 	 * Start the scheduler, jumping to task
 	 */
@@ -445,6 +446,9 @@ void start_kernel(void)
 	/* Initialise system call page */
 	syscall_init();
 
+	/* Init scheduler */
+	sched_init(&scheduler);
+
 	/* Evaluate system resources and set up resource pools */
 	init_system_resources(&kernel_container);