* record the global address of kernel stack