diff --git a/arch/x86/kernel/cpu.c b/arch/x86/kernel/cpu.c
index 47784c29..06860336 100644
--- a/arch/x86/kernel/cpu.c
+++ b/arch/x86/kernel/cpu.c
@@ -415,7 +415,7 @@ void init_pat(void)
 		boot_pat_state = rdmsr(MSR_IA32_CR_PAT);
 
 	wrmsr(MSR_IA32_CR_PAT, pat);
-	kprintf("PAT support detected and reconfigured.\n");
+	dkprintf("PAT support detected and reconfigured.\n");
 }
 
 void init_lapic(void)
diff --git a/kernel/ap.c b/kernel/ap.c
index 8118a2c9..a5bb0d9f 100644
--- a/kernel/ap.c
+++ b/kernel/ap.c
@@ -74,18 +74,17 @@ void ap_init(void)
 		return;
 	}
 
-	kprintf("BSP HW ID = %d, ", bsp_hw_id);
-	kprintf("AP Booting :");
+	kprintf("BSP HW ID = %d\n", bsp_hw_id);
 
 	for (i = 0; i < cpu_info->ncpus; i++) {
 		if (cpu_info->hw_ids[i] == bsp_hw_id) {
 			continue;
 		}
+		kprintf("AP Booting: %d (HW ID: %d)\n", i, cpu_info->hw_ids[i]);
 		ihk_mc_boot_cpu(cpu_info->hw_ids[i], (unsigned long)ap_wait);
-		kprintf(" %d", cpu_info->hw_ids[i]);
 
 		num_processors++;
 	}
-	kprintf(" .. Done\n");
+	kprintf("AP Booting: Done\n");
 }