[CentOS] possible issue with nvidia and new patches?

Twitter user stintel, in this thread:

https://twitter.com/stintel/status/948499157282623488

mentions a possible problem with the new patches and the
nvidia driver:

"As if the @Intel bug isn't bad enough, #KPTI renders @nvidia driver
incompatible due to GPL-only symbol 'cpu_tlbstate'. #epicfail"

Also:

https://twitter.com/tomasz_gwozdz/status/948590364679655429

https://twitter.com/BitsAndChipsEng/status/948578609761054721

Cheers,
Zube