[PATCH 1/4] kernel/kcmp.c: Use new infrastructure to fix deadlocks in execve