# it does mention kernel bug so maybe it's already reported? they have a dedicated bug tracker website