x86-64: Clean up 'save/restore_i387()' usage