diff -r fa41b06a52a3 tools/libxl/xl_cmdimpl.c
--- a/tools/libxl/xl_cmdimpl.c	Wed May 26 10:52:15 2010 +0100
+++ b/tools/libxl/xl_cmdimpl.c	Wed May 26 13:25:43 2010 -0700
@@ -3270,7 +3270,7 @@
     while (1) {
         ret = libxl_xen_console_read_line(&ctx, cr, &line);
         if (ret > 0)
-            printf(line);
+            printf("%s", line);
         else
             break;
     }
diff -r fa41b06a52a3 xen/arch/x86/hvm/vmx/vmx.c
--- a/xen/arch/x86/hvm/vmx/vmx.c	Wed May 26 10:52:15 2010 +0100
+++ b/xen/arch/x86/hvm/vmx/vmx.c	Wed May 26 13:25:43 2010 -0700
@@ -144,7 +144,7 @@
 
 #define MSR_INDEX_SIZE (ARRAY_SIZE(msr_index))
 
-static void vmx_save_host_msrs(void)
+extern void vmx_save_host_msrs(void)
 {
     struct vmx_msr_state *host_msr_state = &this_cpu(host_msr_state);
     int i;
diff -r fa41b06a52a3 xen/arch/x86/smpboot.c
--- a/xen/arch/x86/smpboot.c	Wed May 26 10:52:15 2010 +0100
+++ b/xen/arch/x86/smpboot.c	Wed May 26 13:25:43 2010 -0700
@@ -132,6 +132,7 @@
     ;
 }
 
+extern void vmx_save_host_msrs(void);
 void smp_callin(void)
 {
     unsigned int cpu = smp_processor_id();
@@ -159,6 +160,7 @@
     /* Save our processor parameters. */
     smp_store_cpu_info(cpu);
 
+    vmx_save_host_msrs();
     if ( (rc = hvm_cpu_up()) != 0 )
     {
         extern void (*dead_idle) (void);