Index: kernel/arch/ppc64/include/exception.h
===================================================================
--- kernel/arch/ppc64/include/exception.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/ppc64/include/exception.h	(revision bd804653e43355acb79fecc133c2780b8a5c5a1b)
@@ -83,4 +83,5 @@
 	istate->pc = retaddr;
 }
+
 /** Return true if exception happened while in userspace */
 #include <panic.h>
@@ -90,4 +91,5 @@
 	return 0;
 }
+
 static inline unative_t istate_get_pc(istate_t *istate)
 {