[PATCH 05/11] nios2: switch to kernel_clone()