Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision 0c3e63fff86cbab4d9fa841c7a0b5517d32c6376)
+++ kernel/arch/ia32/src/smp/smp.c	(revision 90ed05866ebbe68aed54837f022033a6baaa6860)
@@ -113,6 +113,4 @@
 	apic_init();
 	
-	uint8_t apic = l_apic_id();
-	
 	for (i = 0; i < config.cpu_count; i++) {
 		/*
@@ -128,7 +126,7 @@
 			continue;
 		
-		if (ops->cpu_apic_id(i) == apic) {
-			printf("%s: bad processor entry #%u, will not send IPI "
-			    "to myself\n", __FUNCTION__, i);
+		if (ops->cpu_apic_id(i) == bsp_l_apic) {
+			printf("kmp: bad processor entry #%u, will not send IPI "
+			    "to myself\n", i);
 			continue;
 		}