Generate JSON system call info from Linux source