x86: clean up switch_to()