This issue was fixed in the upstream 4.13 kernel, so the devel release (and bionic) of ubuntu are no longer affected, closing.
This issue was fixed in the upstream 4.13 kernel, so the devel release (and bionic) of ubuntu are no longer affected, closing.