Index: kernel/arch/ia64/src/smp/smp.c
===================================================================
--- kernel/arch/ia64/src/smp/smp.c	(revision 2eb893b0af836486e4d6cd3d0b897be36ab58e77)
+++ kernel/arch/ia64/src/smp/smp.c	(revision 0aa1665b932e64c1786b7cc2ee1964f9694cfd8b)
@@ -88,5 +88,4 @@
 	myeid=ia64_get_cpu_eid();
 
-	printf("Not sending to ID:%d,EID:%d",myid,myeid);
 	
 	for(id=0;id<256;id++)
@@ -116,5 +115,4 @@
 		        if(cpu_by_id_eid_list[id][eid]==1){
 		    		config.cpu_count++;
-		    		printf("Found CPU ID:%d EDI:%d\n",id,eid);
 		    		cpu_by_id_eid_list[id][eid]=2;