Re: arm softfp ABI vs hardfp in rpm world