Add a comment about prctl [skip ci]
Add a comment about prctl [skip ci]


Former-commit-id: 5a124443f73702782a4eb7baa90fb8fd791429f0 [formerly 5a124443f73702782a4eb7baa90fb8fd791429f0 [formerly b6420e2a0d03177324ab2e6ca79086e481c3de86]]
Former-commit-id: 25faff148e3c6cc4a267f1cd392d69b6ac458c06
Former-commit-id: 9175b8262eef65ef6db1d2d69d118c9a0c7ea937
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine