diff --git a/src/system/kernel/arch/x86/arch_thread.c b/src/system/kernel/arch/x86/arch_thread.c
index 09a9dcde7b..c4ed0b2a80 100644
--- a/src/system/kernel/arch/x86/arch_thread.c
+++ b/src/system/kernel/arch/x86/arch_thread.c
@@ -333,9 +333,9 @@ arch_thread_dump_info(void *info)
 {
 	struct arch_thread *at = (struct arch_thread *)info;
 
-	dprintf("\tesp: %p\n", at->current_stack.esp);
-	dprintf("\tss: %p\n", at->current_stack.ss);
-	dprintf("\tfpu_state at %p\n", at->fpu_state);
+	kprintf("\tesp: %p\n", at->current_stack.esp);
+	kprintf("\tss: %p\n", at->current_stack.ss);
+	kprintf("\tfpu_state at %p\n", at->fpu_state);
 }