Fix JMK bug, update architecture docs
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()