Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision 4aa2a27b7de879ecc1f5cd437123bba355d4c82f)
+++ kernel/arch/arm32/Makefile.inc	(revision b5f716bc90001ca89dfcaf04f82a2b4e1dd2e11e)
@@ -36,7 +36,7 @@
 
 ifeq ($(CONFIG_FPU),y)
-# This is necessary to allow vmsr insn and fpexc manipulation
-# Use vfp32 to allow context save/restore of d16-d31 regs.
-AFLAGS += -mfloat-abi=hard -mfpu=vfp3
+	# This is necessary to allow vmsr insn and fpexc manipulation
+	# Use vfp32 to allow context save/restore of d16-d31 regs.
+	AFLAGS += -mfloat-abi=hard -mfpu=vfp3
 endif
 
@@ -86,5 +86,5 @@
 
 ifeq ($(MACHINE),beaglebone)
-        ARCH_SOURCES += arch/$(KARCH)/src/mach/beaglebone/beaglebone.c
+	ARCH_SOURCES += arch/$(KARCH)/src/mach/beaglebone/beaglebone.c
 endif