Index: kernel/genarch/src/softint/division.c
===================================================================
--- kernel/genarch/src/softint/division.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/genarch/src/softint/division.c	(revision 2ee0e4a1310e3fe2e6e7d1f090bbe5a5e0aa5bb3)
@@ -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;