How to find kernel stack size