On Tue, 6 Dec 2016, Petr Mladek wrote: > > We'd probably use a more generic way, such as msgid-based redirection. > > Could you please send a patch to fix this up? > > Please, find a fix below. I do not remember but I believe that > the original link pointed to that message ;-) That's in line with my memory as well. Applied to for-4.10/upstream. -- Jiri Kosina SUSE Labs -- To unsubscribe from this list: send the line "unsubscribe live-patching" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html