[PATCH] [RFC] Xilinx Virtex 4 FX Soft FPU support

[Sergey Temerkhanov]

This patch enables support for Xilinx Virtex 4 FX singe-float FPU.

Caveats: 
	- Hard-float binaries which rely on in-kernel math emulation will give wrong 	
	results since they expect 64-bit double-precision instead of 32-bit single-			
	precision numbers.

Regards, Sergey Temerkhanov