Index: kernel/genarch/src/softint/multiplication.c
===================================================================
--- kernel/genarch/src/softint/multiplication.c	(revision 3bacee1839e6f355100ab4ea86bb211e9ecf19ed)
+++ kernel/genarch/src/softint/multiplication.c	(revision ed88c8e9e48e792fdd0df46568e33e36eb624db3)
@@ -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