Index: kernel/arch/amd64/src/proc/scheduler.c
===================================================================
--- kernel/arch/amd64/src/proc/scheduler.c	(revision 83dab11c929c1a48613d4dc70ed8ca9113463484)
+++ kernel/arch/amd64/src/proc/scheduler.c	(revision 34e1206ec4dc79f0592077e3ee270fba91d1eb9d)
@@ -58,5 +58,5 @@
 	CPU->arch.tss->rsp0 = (uintptr_t) &THREAD->kstack[STACK_SIZE];
 
-	kseg_t *kseg = (kseg_t *) read_msr(AMD_MSR_GS_KERNEL);	
+	kseg_t *kseg = (kseg_t *) read_msr(AMD_MSR_GS_KERNEL);
 	kseg->kstack_rsp = THREAD->arch.kstack_rsp;
 }