Re: Kernel Space, how much?