seccomp ppc still broken