Index: kernel/arch/arm32/include/arch/elf.h
===================================================================
--- kernel/arch/arm32/include/arch/elf.h	(revision 549bef19d0cb4650592539cc4d784cbcf34926ea)
+++ kernel/arch/arm32/include/arch/elf.h	(revision a5f7b26932214c7ca90dc6f96467b2fe12ae0df5)
@@ -40,7 +40,7 @@
 
 #ifdef __BE__
-	#define ELF_DATA_ENCODING  ELFDATA2MSB
+#define ELF_DATA_ENCODING  ELFDATA2MSB
 #else
-	#define ELF_DATA_ENCODING  ELFDATA2LSB
+#define ELF_DATA_ENCODING  ELFDATA2LSB
 #endif
 
Index: kernel/arch/arm32/include/arch/exception.h
===================================================================
--- kernel/arch/arm32/include/arch/exception.h	(revision 549bef19d0cb4650592539cc4d784cbcf34926ea)
+++ kernel/arch/arm32/include/arch/exception.h	(revision a5f7b26932214c7ca90dc6f96467b2fe12ae0df5)
@@ -45,7 +45,7 @@
 
 #ifdef HIGH_EXCEPTION_VECTORS
-	#define EXC_BASE_ADDRESS  0xffff0000
+#define EXC_BASE_ADDRESS  0xffff0000
 #else
-	#define EXC_BASE_ADDRESS  0x0
+#define EXC_BASE_ADDRESS  0x0
 #endif
 
Index: kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h
===================================================================
--- kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h	(revision 549bef19d0cb4650592539cc4d784cbcf34926ea)
+++ kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h	(revision a5f7b26932214c7ca90dc6f96467b2fe12ae0df5)
@@ -77,22 +77,22 @@
 
 typedef struct {
-        uintptr_t uart;
-        uintptr_t kbd_ctrl;
-        uintptr_t kbd_stat;
-        uintptr_t kbd_data;
-        uintptr_t kbd_intstat;
-        uintptr_t rtc;
-        uintptr_t rtc1_load;
-        uintptr_t rtc1_read;
-        uintptr_t rtc1_ctl;
-        uintptr_t rtc1_intrclr;
-        uintptr_t rtc1_intrstat;
-        uintptr_t rtc1_bgload;
-        uintptr_t irqc;
-        uintptr_t irqc_mask;
-        uintptr_t irqc_unmask;
-        uintptr_t vga;
-        uintptr_t cmcr;
-        uintptr_t sdramcr;
+	uintptr_t uart;
+	uintptr_t kbd_ctrl;
+	uintptr_t kbd_stat;
+	uintptr_t kbd_data;
+	uintptr_t kbd_intstat;
+	uintptr_t rtc;
+	uintptr_t rtc1_load;
+	uintptr_t rtc1_read;
+	uintptr_t rtc1_ctl;
+	uintptr_t rtc1_intrclr;
+	uintptr_t rtc1_intrstat;
+	uintptr_t rtc1_bgload;
+	uintptr_t irqc;
+	uintptr_t irqc_mask;
+	uintptr_t irqc_unmask;
+	uintptr_t vga;
+	uintptr_t cmcr;
+	uintptr_t sdramcr;
 } icp_hw_map_t;
 
Index: kernel/arch/arm32/include/arch/machine_func.h
===================================================================
--- kernel/arch/arm32/include/arch/machine_func.h	(revision 549bef19d0cb4650592539cc4d784cbcf34926ea)
+++ kernel/arch/arm32/include/arch/machine_func.h	(revision a5f7b26932214c7ca90dc6f96467b2fe12ae0df5)
@@ -108,5 +108,5 @@
 extern size_t machine_get_irq_count(void);
 
-extern const char * machine_get_platform_name(void);
+extern const char *machine_get_platform_name(void);
 
 #endif
Index: kernel/arch/arm32/include/arch/types.h
===================================================================
--- kernel/arch/arm32/include/arch/types.h	(revision 549bef19d0cb4650592539cc4d784cbcf34926ea)
+++ kernel/arch/arm32/include/arch/types.h	(revision a5f7b26932214c7ca90dc6f96467b2fe12ae0df5)
@@ -38,7 +38,7 @@
 
 #ifndef DOXYGEN
-	#define ATTRIBUTE_PACKED __attribute__((packed))
+#define ATTRIBUTE_PACKED __attribute__((packed))
 #else
-	#define ATTRIBUTE_PACKED
+#define ATTRIBUTE_PACKED
 #endif