That report is against the 4.8 kernel, which is not a supported kernel since a while. Since your system(s) has been upgraded many times, and it should be good to report about right actual config, instead of adding comment on that one.
So closing that report.
That report is against the 4.8 kernel, which is not a supported kernel since a while. Since your system(s) has been upgraded many times, and it should be good to report about right actual config, instead of adding comment on that one.
So closing that report.