restart_syscall(2) on Linux

The text 3a4cf438e13c, as Debian 8 (Jessie) shipped it.

restart a system call after interruption by a stop signal

restart_syscall(2) on Linux now