Index: kernel/arch/ppc32/src/smc.c
===================================================================
--- kernel/arch/ppc32/src/smc.c	(revision 7328ff41dcbe15332d62c013417ec72bbb613ee6)
+++ kernel/arch/ppc32/src/smc.c	(revision 631281dedb2b080d5b5af149d4e4b05369d66c34)
@@ -26,5 +26,4 @@
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
-
 
 #include <barrier.h>
@@ -60,3 +59,2 @@
 	asm volatile ("isync" ::: "memory");
 }
-