* Ingo Molnar <mingo@elte.hu> wrote:

> > It this is the way things gonna stay, so we'd probably want to drop 
> > this patch completely. Can you remove it cleanly, or it triggers 
> > dependency problems?
> 
> i've dropped that patch and have respun tip/x86/time accordingly, 
> based on latest -git - and merged it into tip/master. Started testing 
> the result.

got a spontaneous reboot bug upon bootup on a dual-core system booting a 
32-bit x86 kernel - no message on the console. Config attached.

as this is an integrated branch with a few fixups, i have pushed it out 
into tip/x86/time.broken2 - you can check that end result branch. 
(commit-ID: e8d0f9bf5a0)

the same config boots fine with x86/time removed from the integration. 
(commit-ID: 887f98f62c8)

	Ingo