Index: kernel/genarch/Makefile.inc
===================================================================
--- kernel/genarch/Makefile.inc	(revision e731b0db7a19a49197d3ed700a60c8131857f598)
+++ kernel/genarch/Makefile.inc	(revision 6c017023ebfaf5820d1a7aaa61128c5fc053fe88)
@@ -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