[PATCH v2 03/11] ia64: switch to kernel_clone()