Just a followup, there is some info here:
https://bugzilla.redhat.com/show_bug.cgi?id=1480844
Upgrading to BIOS 1.33 fixes the problem in Debian.
** Bug watch added: Red Hat Bugzilla #1480844
https://bugzilla.redhat.com/show_bug.cgi?id=1480844
--
You received this bug notification because yo
[Expired for linux (Ubuntu) because there has been no activity for 60
days.]
** Changed in: linux (Ubuntu)
Status: Incomplete => Expired
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1781023
T
Would it be possible for you to test the latest upstream kernel? Refer
to https://wiki.ubuntu.com/KernelMainlineBuilds . Please test the latest
v4.18 kernel[0].
If this bug is fixed in the mainline kernel, please add the following
tag 'kernel-fixed-upstream'.
If the mainline kernel does not fix t
