Current version of AARCH32 port doesn't support FPU-less cores. It also may be useful if we can build single binary with SOFTFP ABI that detects and utilizes FPU features at runtime.