Index: kernel/arch/ppc32/src/mm/pht.c
===================================================================
--- kernel/arch/ppc32/src/mm/pht.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/ppc32/src/mm/pht.c	(revision ba3841e2205573d1765f66063c5b9a19768de9b2)
@@ -109,8 +109,8 @@
 	/* Find colliding PTE in PTEG */
 	for (i = 0; i < 8; i++) {
-		if ((phte[base + i].v)
-		    && (phte[base + i].vsid == vsid)
-		    && (phte[base + i].api == api)
-		    && (phte[base + i].h == 0)) {
+		if ((phte[base + i].v) &&
+		    (phte[base + i].vsid == vsid) &&
+		    (phte[base + i].api == api) &&
+		    (phte[base + i].h == 0)) {
 			found = true;
 			break;
@@ -134,8 +134,8 @@
 		/* Find colliding PTE in PTEG */
 		for (i = 0; i < 8; i++) {
-			if ((phte[base2 + i].v)
-			    && (phte[base2 + i].vsid == vsid)
-			    && (phte[base2 + i].api == api)
-			    && (phte[base2 + i].h == 1)) {
+			if ((phte[base2 + i].v) &&
+			    (phte[base2 + i].vsid == vsid) &&
+			    (phte[base2 + i].api == api) &&
+			    (phte[base2 + i].h == 1)) {
 				found = true;
 				base = base2;
Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/ppc32/src/ppc32.c	(revision ba3841e2205573d1765f66063c5b9a19768de9b2)
@@ -185,6 +185,6 @@
 		fb_scanline = *((uint32_t *) prop->value);
 
-	if ((fb_addr) && (fb_width > 0) && (fb_height > 0)
-	    && (fb_scanline > 0) && (visual != VISUAL_UNKNOWN)) {
+	if ((fb_addr) && (fb_width > 0) && (fb_height > 0) &&
+	    (fb_scanline > 0) && (visual != VISUAL_UNKNOWN)) {
 		fb_properties_t fb_prop = {
 			.addr = fb_addr,
@@ -301,5 +301,6 @@
 
 	/* Unreachable */
-	while (true);
+	while (true)
+		;
 }
 
@@ -321,5 +322,6 @@
 {
 	// TODO
-	while (true);
+	while (true)
+		;
 }