x86: make restore_fpu() use alternative assembler instructions