manually applied patches for kernel/ptrace.c, one missing