Tested via a version of https://reviews.freebsd.org/differential/diff/91630/
with the following modification in `kvm_clock_attach()`:
```
- sc->timeinfos = malloc_domainset_aligned(round_page(mp_ncpus *
+ sc->timeinfos = malloc_aligned(round_page(mp_ncpus *
sizeof(struct pvclock_vcpu_time_info)), PAGE_SIZE, M_DEVBUF,
- DOMAINSET_RR(), M_WAITOK | M_ZERO);
+ M_WAITOK | M_ZERO);
```