--- sys/i386/xen/clock.c	2010-12-20 21:39:49.000000000 +0100
+++ sys/i386/xen/clock.c.patched	2011-03-07 17:36:46.000000000 +0100
@@ -342,7 +342,8 @@
 	
 	if (shadow_tv_version != HYPERVISOR_shared_info->wc_version &&
 	    !independent_wallclock) {
-		printf("[XEN] hypervisor wallclock nudged; nudging TOD.\n");
+		if (bootverbose)
+		      printf("[XEN] hypervisor wallclock nudged; nudging TOD.\n");
 		update_wallclock();
 		add_uptime_to_wallclock();
 		tc_setclock(&shadow_tv);