Index: kernel/arch/ppc32/src/smc.c
===================================================================
--- kernel/arch/ppc32/src/smc.c	(revision 7328ff41dcbe15332d62c013417ec72bbb613ee6)
+++ kernel/arch/ppc32/src/smc.c	(revision 9a5ae815b43ebe562be9124064e24c56f08f6b1e)
@@ -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");
 }
-