[PATCH 09/11] kgdbts: switch to kernel_clone()