Good point. Until such time as it is added, there is this NTP client driver from @dan.t, which permits a user-specified NTPd to be used.
