Replacing fork() and exec() in the Linux Kernel