Comment 22 for bug 1938013

A test kernel is available here: https://kernel.ubuntu.com/~juergh/lp1938013/
We'd very much appreciate it if people could do some testing. Download the debs and install them with 'dpkg -i *.deb'. The kernel is unsigned so secure boot needs to be disabled.