diff --git a/arch/x86/kernel/scc.c b/arch/x86/kernel/scc.c
index d83086cd..5baba706 100644
--- a/arch/x86/kernel/scc.c
+++ b/arch/x86/kernel/scc.c
@@ -36,9 +36,9 @@ int scc_init(void)
 	y=(tmp>>7) & 0x0f; // bits 10:07
 	z=(tmp   ) & 0x07; // bits 02:00
 	scc_info.pid = PID(x, y, z);
-	kprintf("SCC Processor Id: %d\n", scc_info.pid);
+	kprintf("SCC Processor Id: %d (%d,%d,%d)\n", scc_info.pid, x, y, z);
 
-	/* default values for 16 GB of System Memory */
+	/* default values for 16 GB system */
 	scc_info.private_mem[0].low  = 0x00;
 	scc_info.private_mem[0].high = 0x13FFFFFF; 
 	scc_info.private_mem[1].low  = 0xFF000000;