Fix issue #7687, by revising original fix for issue #41
to use volatile store/load on 32-bit x86 only.
Merge pull request #7719 from ArchRobison/adr/fpext

Fix issue #7687, by revising original fix for issue #41