How to get current core id in kernel source