RE: Kernel stack size