Is this implementation-specific, or could the Windows equivalent to ntp cause the same problem?
More specifically, there is a condition in which the kernel tries to insert a leap second and, in doing so, attempts to acquire the same lock twice causing the spinlock lockup and (effectively) halting the kernel.