At least for my machine, this is solved.
https://bugzilla.kernel.org/show_bug.cgi?id=201817 contains info about a
patch that solved this. It was either that or a BIOS update, or both.
At least for my machine, this is solved.