diff --git a/src/system/kernel/arch/x86/arch_int.cpp b/src/system/kernel/arch/x86/arch_int.cpp
index 0ff467a37c..89b82575df 100644
--- a/src/system/kernel/arch/x86/arch_int.cpp
+++ b/src/system/kernel/arch/x86/arch_int.cpp
@@ -402,7 +402,6 @@ arch_int_are_interrupts_enabled(void)
 void
 arch_int_assign_to_cpu(int32 irq, int32 cpu)
 {
-	dprintf("ASSIGN IRQ TO CPU\n");
 	switch (sVectorSources[irq]) {
 		case IRQ_SOURCE_IOAPIC:
 			if (sCurrentPIC->assign_interrupt_to_cpu != NULL)