[PATCH] i386: use C code for current_thread_info()