Seccomp filter for 32-bit