On Thu, Aug 07, 2008 at 02:44:49PM -0600, Sverre Froyen wrote: > Sources from 1 July are OK, sources from 18 July exhibit the problem (i386). > I'll do some triangulation... Try before and after revision 1.149 of kern_time.c. Joerg