Index: kernel/genarch/src/softint/multiplication.c
===================================================================
--- kernel/genarch/src/softint/multiplication.c	(revision 3bacee1839e6f355100ab4ea86bb211e9ecf19ed)
+++ kernel/genarch/src/softint/multiplication.c	(revision 774aa33295605fdbbdcdc06516322c0665399f63)
@@ -117,6 +117,8 @@
 	t2 += t1;
 
-	/* t2 & (1ull << 63) - if this bit is set in unsigned long long,
-	 * result does not fit in signed one */
+	/*
+	 * t2 & (1ull << 63) - if this bit is set in unsigned long long,
+	 * result does not fit in signed one
+	 */
 	if (SOFTINT_CHECK_OF && ((t2 < t1) || (t2 & (1ull << 63)))) {
 		// error, overflow