[PATCH] x86-64: Set the stack pointer correctly in init_thread and init_tss