[pas]

There's an Ubuntu Kernel Team, and they have a very handy archive:

http://kernel.ubuntu.com/~kernel-ppa/mainline/daily/2018-01-...

They have a 14MB base patch, and then a few small ones.

CHANGES mention KPTI, so it should be good to go.