On Fri, Sep 07, 2018 at 04:52:20PM +0200, Juergen Gross wrote:> And the fixing patch is already there:Yeah, tglx just told me :)Thx!-- Regards/Gruss, Boris.Good mailing practices for 400: avoid top-posting and trim the reply.