On Mon, Jun 24, 2013 at 10:16:23AM +0200, Stephane Eranian wrote:> Hi,> > It applies and compiles for me on tip.git:> > 4ce9207 Merge branch 'x86/platform'ok, now it works.. ;) sry for noisejirka