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