On Tue, May 19, 2015 at 10:11:40AM +0200, Thomas Gleixner wrote: > If you pull the irq stuff. Make sure that the HEAD is b5cc5cbc11697. I > pushed out a broken version earlier. Okay, thanks for the info, Thomas. I will take care of it if rmk and Arnd agree with the approach. Shawn