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