How is the value of KernelStack in /proc/meminfo computed ?