Adjust rv32 arch and abi configure.

* Use arch=rv32imafdc and abi=ilp32f.
* Looks gnu gcc doesn't honor rv32gc and ilp32d.

Signed-off-by: Pan Li <[email protected]>

Author: Incarnation-p-lee

Makefile.in

@@ -825,7 +825,8 @@ stamps/build-pk32: $(PK_SRCDIR) stamps/build-gcc-newlib-stage2
 	cd $(notdir $@) && $</configure \
 		--prefix=$(INSTALL_DIR) \
 		--host=$(NEWLIB_TUPLE) \
-		--with-arch=rv32i
+		--with-arch=rv32imafdc \
+		--with-abi=ilp32f
 	$(MAKE) -C $(notdir $@)
 	cp $(notdir $@)/pk $(INSTALL_DIR)/$(NEWLIB_TUPLE)/bin/pk32
 	mkdir -p $(dir $@)