Index: kernel/genarch/Makefile.inc
===================================================================
--- kernel/genarch/Makefile.inc	(revision e731b0db7a19a49197d3ed700a60c8131857f598)
+++ kernel/genarch/Makefile.inc	(revision 1787e527c803ec9bf678df8b19b0de9e18985f12)
@@ -59,5 +59,6 @@
 ifeq ($(CONFIG_SOFTINT),y)
 	GENARCH_SOURCES += \
-		genarch/src/softint/division.c
+		genarch/src/softint/division.c \
+		genarch/src/softint/multiplication.c
 endif