On Thu, Jun 05, 2014 at 01:11:10PM +0200, Ingo Molnar wrote:
> Unfortunately even with the latest bits from you the breakage I 
> reported weeks ago is not resolved:
> 

crap, its the qrwlock bits, I fixed it for the config you gave me. Some
paravirt crap header hell thing. Happen to have another .config?