kernel: formatting tweaks

arch/x86_64/init.c

@@ -59,7 +59,8 @@ static void early_vm_init(uintptr_t reserve_end)
 	printk("memblock: allocating from [0x%llx-0x%llx]", alloc_start, alloc_end);
 
 	memblock_reserve(0x00, reserve_end);
-	printk("memblock: reserved bios+kernel at [0x%016llx-0x%016llx]", 0,
+	printk("memblock: reserved bios+kernel at [0x%016llx-0x%016llx]",
+	       0,
 	       reserve_end);
 }
 

sched/thread.c

@@ -131,7 +131,12 @@ kern_status_t thread_init_user_clone(
 
 	/* this context will be used by ml_user_return to jump to userspace
 	 * with the specified instruction pointer and user stack */
-	ml_thread_clone_user_context(src->tr_irqctx, return_value, &thr->tr_sp);
+	ml_thread_clone_user_context(
+		src->tr_irqctx,
+		&src->tr_ml,
+		&thr->tr_ml,
+		return_value,
+		&thr->tr_sp);
 	/* this context will be used by the scheduler and ml_thread_switch to
 	 * jump to ml_user_return in kernel mode with the thread's kernel stack.
 	 */