Fixed a bug with page_map size by dynamically allocating it.

src/glue/arm/init.c

@@ -404,6 +404,10 @@ void init_finalize(struct kernel_container *kcont)
 	 */
 	free_bootmem();
 
+	/*
+	 * Set up KIP UTCB ref
+	 */
+	kip.utcb = (u32)current->utcb_address;
 	/*
 	 * Start the scheduler, jumping to task
 	 */