x86/pti: Add the pti= cmdline option and documentation