Index: kernel/arch/ppc32/src/boot/boot.S
===================================================================
--- kernel/arch/ppc32/src/boot/boot.S	(revision 36df41093d27358efd761887622e3076ed51cd14)
+++ kernel/arch/ppc32/src/boot/boot.S	(revision db3c88347157ed2aeffe98179283d9e4e0243edd)
@@ -35,16 +35,16 @@
 SYMBOL(kernel_image_start)
 	# load temporal kernel stack
-	
+
 	lis sp, kernel_stack@ha
 	addi sp, sp, kernel_stack@l
-	
+
 	# set kernel stack for interrupt handling
-	
+
 	mr r31, sp
 	subis r31, r31, 0x8000
 	mtsprg0 r31
-	
+
 	# r3 contains physical address of bootinfo_t
-	
+
 	addis r3, r3, 0x8000
 	bl ppc32_pre_main