Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision 4edd71f6c3381737a266e52c493e0ccd239b8640)
+++ kernel/arch/arm32/Makefile.inc	(revision 47f7390f53c3d64fcfcb8712911ccf9c35f0c9fb)
@@ -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