am 7dd126a3: Merge "Clean up some misinformation around prctl."

* commit '7dd126a38ca501818b07927f310dcc0f531c0f1f':
  Clean up some misinformation around prctl.