Move syscall args formatting to gperf
Generate syscall arg formatting array at configure time