Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision 83b6ba9f08438ec84b9026da1651c0ffa1d7c35f)
+++ kernel/arch/arm32/Makefile.inc	(revision c60e9ee91b958458729445e00f74089c8d4997cc)
@@ -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