a5662e4d81c4 ("seccomp: switch system call argument type to void *")