Added cos_get/put_curr_thd functions in kernel. They save and retrieve
information from the cos_cpu_local_info structure on kernel
stack. They replaced the core_get/put_* functions, which use per_cpu
variables (which also means one more TLB access).