Exactly. Just set the ARCH variable to armel in debian.conf. I've tested both. I'm curious to know why you'd rather use softfp over hardfp...