The patch in the tip tree with commit 506bcdf68b07a0335751e1fe8be37
("x86/pti: Add the pti= cmdline option and documentation") is completely
wrong: cmdline_find_option() will return -1 in case the otion isn't
found and the len of the argument in case it has been found.Juergen
