I have a new kernel variable in /boot/device.hints. kern.timecounter.hardware="i8254" but it's not set during boot. I have other hints that are set during boot. Why is kern.timecounter.hardware not being set? How can I fix it. Later, Jason