I opened a bug ticket with the intel driver kernel developers: https://bugs.freedesktop.org/show_bug.cgi?id=81537
I opened a bug ticket with the intel driver kernel developers: https:/ /bugs.freedeskt op.org/ show_bug. cgi?id= 81537