Fix paging faults when switching/creating tasks
diff --git a/src/kernel/main.c b/src/kernel/main.c
index ea5200b..1c654bd 100644
--- a/src/kernel/main.c
+++ b/src/kernel/main.c
@@ -80,6 +80,7 @@
 	greet();
 	spawn_thread(other_thread);
 	kprintf("thread spawned\n");
+
 	switch_task();
 	kprintf("Back in main thread\n");