sys_prctl(): coding-style cleanup