vmx: Squelch per-core startup messages

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>

kern/arch/x86/vmm/intel/vmx.c

diff --git a/kern/arch/x86/vmm/intel/vmx.c b/kern/arch/x86/vmm/intel/vmx.c
index 690343e..b925d6d 100644
--- a/kern/arch/x86/vmm/intel/vmx.c
+++ b/kern/arch/x86/vmm/intel/vmx.c
@@ -1331,7 +1331,6 @@
 	if (ret)
 		goto failed;
 	currentcpu->vmx_enabled = 1;
-	printk("VMX enabled on CPU %d\n", core_id());
 	return 0;
 failed:
 	printk("Failed to enable VMX on core %d, err = %d\n", core_id(), ret);