On Tue, Apr 17, 2018 at 10:00:25AM +0200, Jörg Otte wrote: > Maybe the problem came in with: > 6b0a02e: "Merge branch 'x86-pti-for-linus' of > git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip"
Fetch latest Linus master and try again - there might be a relevant fix
there.
--
Regards/Gruss,
Boris.
Good mailing practices for 400: avoid top-posting and trim the reply.
