Index: boot/arch/ppc32/src/main.c
===================================================================
--- boot/arch/ppc32/src/main.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ boot/arch/ppc32/src/main.c	(revision 2ee0e4a1310e3fe2e6e7d1f090bbe5a5e0aa5bb3)
@@ -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;