diff --git a/arch/x86/kernel/processor.c b/arch/x86/kernel/processor.c
index 319192da0..31a038b9d 100644
--- a/arch/x86/kernel/processor.c
+++ b/arch/x86/kernel/processor.c
@@ -509,7 +509,8 @@ int cpu_detection(void) {
 			xcr0 |= 0xE0;
 		xsetbv(0, xcr0);
 
-		kprintf("Set XCR0 to 0x%llx\n", xgetbv(0));
+		if (first_time)
+			kprintf("Set XCR0 to 0x%llx\n", xgetbv(0));
 	}
 
 	// libos => currently no support of syscalls