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