Get kcmp syscall number from syscall_defs instead of system headers.

Resolves #1209 (hopefully)