What is the kernel of your target system
Once again, what is the kernel of your TARGET system, i.e. on Vortex86SX chip. Is it really 2.6.25.5 with FPU emulation enabled ?
Or 2.6.25.5 is version available on the system, where you are building packages ?
How did you installed debian/libraries to the TARGET system. By dpkg -i, or by copying some files ? Petr