diff --git a/arch/x86/kernel/apic.c b/arch/x86/kernel/apic.c
index da4c65f4..ca860d4f 100644
--- a/arch/x86/kernel/apic.c
+++ b/arch/x86/kernel/apic.c
@@ -320,6 +320,8 @@ void smp_start(uint32_t id)
 	// enable additional cpu features
 	cpu_detection();
 
+	kprintf("CR0 of core %u: 0x%x\n", apic_cpu_id(), read_cr0());
+
 	smp_main();
 
 	// idle loop
@@ -355,6 +357,8 @@ int smp_init(void)
 	if (ncores <= 1)
 		return -EINVAL;
 
+	kprintf("CR0 of core %u: 0x%x\n", apic_cpu_id(), read_cr0());
+
 	for(i=1; (i<ncores) && (i<MAX_CORES); i++)
 	{
 		/*