Added the invstk_top caching on the kernel stack (in
cos_cpu_local_info struct). To avoid looking up the address of the
structure multiple times, we lookup at the beginning of the syscall
handler entry, and pass it to functions.