I saw some changes for x86. But I didn't see changes to enable x86 FPU support on Linux. Is that true? -- H.J. Lu (hjl@gnu.org)