Index: kernel/arch/ppc64/include/exception.h
===================================================================
--- kernel/arch/ppc64/include/exception.h	(revision b63f856913cad6bf9a61c703c32a10ba508f18a2)
+++ kernel/arch/ppc64/include/exception.h	(revision e6231978e44f57c5152f977d88ad8705f4fb80c5)
@@ -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)
 {