Re: [Linaro-dev] Discussion on new ARM hard-float port on debian-arm@