Comment 16 for bug 1814555

@Stefan Bader: I just installed the kernel from comment #8 and can confirm that it boots without issues.

I'm looking forward for this to hit the repositories, because currently apt won't install anything anymore until I fix the "broken installs" (reinstall the official kernel).