Add kern_{process,thread}_kill() system calls