x86: fix up a few misc stack pointer vs thread_info confusions