Re: Kernel: 4K, 8K oder 16K stacks?