Remember TIMER_USE_1? It’s still available as hw.i8254.walltimer=1 if you need it. If you are unsure, you’re probably fine.

However, DragonFly will be using the ACPI timer, so it will be a moot point.