'SYS_waitpid' does not exist on x86_64 Linux, but 'SYS_wait4' does. Fixes #615.
This repository contains the Linux-specific implementation of Genode.