Uau! I have never seen such a trivial patch (although first version of it was stupidly buggy!) causing this kind of discussions! :-) Anyway, I believe the tech-related part of the initial question has been solved (sorry for taking so long to read/reply). With respect to the non-tech-part... I'm out :-) -- Luis Henriques -- To unsubscribe from this list: send the line "unsubscribe linux-tip-commits" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html