We often get bug reports for an unhandled system call which don't make it clear what platform is in use, which makes it impossible to know which system call it is. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15033