On Fri, 2010-05-07 at 12:41 +0200, Thomas Gleixner wrote: > On Thu, 6 May 2010, Fernando Lopez-Lezcano wrote: > > CC'ed John and Nick > > > See below... just trying to boot (quad core desktop machine).
Ok. Got this to reproduce. Will hopefully have a fix for your soon.