Index: sys/kern/kern_et.c
===================================================================
--- sys/kern/kern_et.c
+++ sys/kern/kern_et.c
@@ -55,7 +55,7 @@
 {
 	struct eventtimer *tmp, *next;
 
-	if (et->et_quality >= 0 || bootverbose) {
+	if (et->et_quality >= 0 && bootverbose) {
 		if (et->et_frequency == 0) {
 			printf("Event timer \"%s\" quality %d\n",
 			    et->et_name, et->et_quality);
Index: sys/kern/kern_tc.c
===================================================================
--- sys/kern/kern_tc.c
+++ sys/kern/kern_tc.c
@@ -1193,7 +1193,7 @@
 			    tc->tc_name, (uintmax_t)tc->tc_frequency);
 			printf(" -- Insufficient hz, needs at least %u\n", u);
 		}
-	} else if (tc->tc_quality >= 0 || bootverbose) {
+	} else if (tc->tc_quality >= 0 && bootverbose) {
 		printf("Timecounter \"%s\" frequency %ju Hz quality %d\n",
 		    tc->tc_name, (uintmax_t)tc->tc_frequency,
 		    tc->tc_quality);
@@ -2018,7 +2018,10 @@
 	FREQ2BT(tick_rate, &tc_tick_bt);
 	tc_tick_sbt = bttosbt(tc_tick_bt);
 	p = (tc_tick * 1000000) / hz;
-	printf("Timecounters tick every %d.%03u msec\n", p / 1000, p % 1000);
+
+	if (bootverbose)
+		printf("Timecounters tick every %d.%03u msec\n",
+			p / 1000, p % 1000);
 
 #ifdef FFCLOCK
 	ffclock_init();
@@ -2117,9 +2120,6 @@
 		c_delta <<= 20;
 		c_delta /= divi;
 		if (c_delta > cpu_tick_frequency) {
-			if (0 && bootverbose)
-				printf("cpu_tick increased to %ju Hz\n",
-				    c_delta);
 			cpu_tick_frequency = c_delta;
 		}
 	}