The recent changes to the Raspbian kernel that enable the easy use of PPS on the Pi are most welcome for users trying to maintain a stratum 1 NTP server, but there's a problem remaining: dynamic ticks.
From what I've read (and experienced from building a custom kernel) a tickless kernel is hugely beneficial in reducing jitter and offset in a GPS PPS time server. However, from what I can see it's not possible to compile the tickless aspect as a module that could be disabled and as such it's clear that, as the time nut section of the Pi community is a minority, the default kernel should remain with dynamic ticks compiled in.
With uBoot it would seem that "nohz=off" can be used as a kernel command line option to disable dynamic ticks so my question is, is there or could there be a way for those wish to disable dynamic ticks to do so without having to compile a custom kernel?