Use the kernel's syscall table files.

Also updates syscall numbers to Linux 3.17-rc3.