[PATCH] x86_64: don't save eflags in x86-64 switch_to()