[Linux-stable-mirror] [PATCH 4.14 008/146] x86/pti: Add the pti= cmdline option and documentation