Index: kernel/genarch/src/softint/division.c
===================================================================
--- kernel/genarch/src/softint/division.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/genarch/src/softint/division.c	(revision 18b6a8849d630cc3bca153fb21bd225eebb16f4c)
@@ -59,5 +59,5 @@
 	for (; steps > 0; steps--) {
 		/* shift one bit to remainder */
-		*remainder = ((*remainder) << 1) | (( a >> 31) & 0x1);
+		*remainder = ((*remainder) << 1) | ((a >> 31) & 0x1);
 		result <<= 1;