Index: kernel/arch/ppc32/src/drivers/pic.c
===================================================================
--- kernel/arch/ppc32/src/drivers/pic.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/arch/ppc32/src/drivers/pic.c	(revision 1033d1fbada20027b76c48da5df9154d3a23932b)
@@ -55,5 +55,5 @@
 			pic[PIC_MASK_HIGH] = pic[PIC_MASK_HIGH] | (1 << (intnum - 32));
 	}
-	
+
 }
 
@@ -85,14 +85,14 @@
 	if (pic) {
 		uint32_t pending;
-		
+
 		pending = pic[PIC_PENDING_LOW];
 		if (pending != 0)
 			return fnzb32(pending);
-		
+
 		pending = pic[PIC_PENDING_HIGH];
 		if (pending != 0)
 			return fnzb32(pending) + 32;
 	}
-	
+
 	return 255;
 }