[PATCH 01/11] fork: introduce kernel_clone()