The following patch fixes the problem:
+Index: sys/arch/x86/x86/cpu.c
+===================================================================
+RCS file: /cvsroot/src/sys/arch/x86/x86/cpu.c,v
+retrieving revision 1.171.2.2
+diff -u -p -r1.171.2.2 cpu.c
+--- sys/arch/x86/x86/cpu.c 15 Jul 2020 17:25:08 -0000 1.171.2.2
++++ sys/arch/x86/x86/cpu.c 26 Jul 2020 17:30:27 -0000
+@@ -1267,7 +1267,7 @@ cpu_get_tsc_freq(struct cpu_info *ci)
+ {
+ uint64_t freq = 0, last_tsc;
+
+- if (cpu_hascounter())
++ if (cpu_hascounter()) {
+ freq = cpu_tsc_freq_cpuid(ci);
+
+ if (freq != 0) {
+@@ -1280,6 +1280,7 @@ cpu_get_tsc_freq(struct cpu_info *ci)
+ ci->ci_data.cpu_cc_freq =
+ (cpu_counter_serializing() - last_tsc) * 10;
+ }
++ }
+ }
+
+ void
--
|/"\ John D. Baker, KN5UKS NetBSD Darwin/MacOS X
|\ / jdbaker[snail]consolidated[flyspeck]net OpenBSD FreeBSD
| X No HTML/proprietary data in email. BSD just sits there and works!
|/ \ GPGkeyID: D703 4A7E 479F 63F8 D3F4 BD99 9572 8F23 E4AD 1645
