Re: server: Fix FPU registers in get_thread_context()