Index: boot/arch/ppc32/src/main.c
===================================================================
--- boot/arch/ppc32/src/main.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ boot/arch/ppc32/src/main.c	(revision d2f75eb31efa7109d60f52eb578fddc21c8d1e2d)
@@ -122,6 +122,6 @@
 
 	uintptr_t balloc_start = ALIGN_UP(top, PAGE_SIZE);
-	size_t pages = (balloc_start + ALIGN_UP(BALLOC_MAX_SIZE, PAGE_SIZE))
-	    >> PAGE_WIDTH;
+	size_t pages = (balloc_start + ALIGN_UP(BALLOC_MAX_SIZE, PAGE_SIZE)) >>
+	    PAGE_WIDTH;
 	void *transtable;
 	void *transtable_pa;