Hello Andy, >Or I missed the point and it's working? Tell me what to do with it. >For now I pushed to my review and testing queue, thanks!
Antonio did patch and build a custom kernel locally (testing was successful), and submitted the patch to me. I pinged some Ubuntu folks to get it applied, and also testing with the .deb provided by kernel team was good, so I presume this is a safe patch that can be applied right now as-is. (this is a trivial patch, Antonio told me in another channel that he can also create and post failures logs before and after, as well as do some video with the key pressed). I don't think this is needed, but if you want it for historical purposes, just ask and we will do our best to provide them! Gianfranco