Re: Problem of l4lx_thread kmalloc