[PATCH] sys_getppid oopses on debug kernel