diff --git a/src/kernel/boot.s b/src/kernel/boot.s
index bf97a56..043c42c 100644
--- a/src/kernel/boot.s
+++ b/src/kernel/boot.s
@@ -37,7 +37,7 @@
 	db 0						; base high
 
 	;; Second entry, code segment
-	dw 0xffffffff				; max limit
+	dw 0xffff					; max limit
 	dw 0
 
 	db 0
@@ -46,7 +46,7 @@
 	db 0
 
 	;; Third entry, data segment
-	dw 0xffffffff				; max limit
+	dw 0xffff					; max limit
 	dw 0
 
 	db 0
@@ -55,7 +55,7 @@
 	db 0
 
 	;; Fourth entry, user code segment
-	dw 0xffffffff				; max limit
+	dw 0xffff					; max limit
 	dw 0
 
 	db 0
@@ -64,7 +64,7 @@
 	db 0
 
 	;; Fifth entry, user data segment
-	dw 0xffffffff				; max limit
+	dw 0xffff					; max limit
 	dw 0
 
 	db 0
diff --git a/src/kernel/dri/ide/ide.c b/src/kernel/dri/ide/ide.c
index c5a5241..b42873d 100644
--- a/src/kernel/dri/ide/ide.c
+++ b/src/kernel/dri/ide/ide.c
@@ -1,6 +1,7 @@
 #include <dri/ide/ide.h>
 #include <task.h>
 #include <alloc.h>
+#include <log.h>
 
 struct ide_thread_data
 {
@@ -26,7 +27,7 @@
     data->slot = slot;
     data->func = func;
 
-    spawn_thread(ide_thread, data);
+    spawn_thread(TASK_FUNCTION(ide_thread), data);
 }
 
 void ide_register()