The only way I know of is to look at your kernels .config (typicall found at /boot/config-$(uname -r)). grep for 4KSTACK. If it's not set it's 8K (afaik).