RE: kernel memory allocation