So my question is how can I change the timer frequency of the kFreeBSD
kernel? Actually is there any way to confirm the timer frequency is the
issue? Does the FreeBSD kernel support the kernel parameter divider=N? If
so, how do I add that parameter? That is, where do I add it? If that
parameter is not supported, how do I recompile the kernel? Perhaps a variant
of the stock kernel, recompiled to fix this issue for at least those who run
kFreeBSD on VirtualBox, can be included in the package repository?