Guest: DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul  2 06:02:54 UTC 2026
       root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC  x86_64
Kernel binary: /boot/kernel/kernel (kernel.debug has full symbols)
QEMU: qemu-system-x86_64 7.2.22 (Debian), -enable-kvm, host Intel Xeon (vmx+smap+smep)
CPU brand source: -cpu qemu64,model-id=<48 chars>  (QEMU 7.2 accepts >=48-char
model-id and copies it into the 48-byte CPUID brand leaves without termination)
.bss layout (nm /boot/kernel/kernel):
  ffffffff818d9c20 b cpu_brand      (48 bytes)
  ffffffff818d9c50 b hw_clockrate   (zero when printcpuinfo() runs)
  ffffffff818d9c60 b cpu_model
DF-5345 runs: overlay boots ovl-svm (KVM) and ovl-tcgsvm (TCG), no network,
serial-to-file. Host: Intel Xeon (vmx, no svm). QEMU 7.2.22.