Comment 4 for bug 1778534

Thank you too for following up the reports here.

Sadly I currently have no access to the system, it was my friend's laptop.

I think it is not yet merged since he said after a kernel update two days ago (proposed by the Software Updater), the touchpad stopped working and he had to install the manually built kernel again using dpkg.