[PATCH 07/11] x86: switch to kernel_clone()