Index: kernel/genarch/include/acpi/acpi.h
===================================================================
--- kernel/genarch/include/acpi/acpi.h	(revision d99c1d2ba8c7b2c687d430f2e9fd237046606545)
+++ kernel/genarch/include/acpi/acpi.h	(revision c19aa612473b0cd0cc4282fabaaaea0f41fbb0b7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarch	
+/** @addtogroup genarch
  * @{
  */
Index: kernel/genarch/include/acpi/madt.h
===================================================================
--- kernel/genarch/include/acpi/madt.h	(revision d99c1d2ba8c7b2c687d430f2e9fd237046606545)
+++ kernel/genarch/include/acpi/madt.h	(revision c19aa612473b0cd0cc4282fabaaaea0f41fbb0b7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarch	
+/** @addtogroup genarch
  * @{
  */
@@ -40,16 +40,16 @@
 #include <arch/smp/smp.h>
 
-#define	MADT_L_APIC			0
-#define MADT_IO_APIC			1
-#define MADT_INTR_SRC_OVRD		2
-#define MADT_NMI_SRC			3
-#define MADT_L_APIC_NMI			4
-#define MADT_L_APIC_ADDR_OVRD		5
-#define MADT_IO_SAPIC			6
-#define MADT_L_SAPIC			7
-#define MADT_PLATFORM_INTR_SRC		8
-#define MADT_RESERVED_SKIP_BEGIN	9
-#define MADT_RESERVED_SKIP_END		127
-#define MADT_RESERVED_OEM_BEGIN		128
+#define MADT_L_APIC               0
+#define MADT_IO_APIC              1
+#define MADT_INTR_SRC_OVRD        2
+#define MADT_NMI_SRC              3
+#define MADT_L_APIC_NMI           4
+#define MADT_L_APIC_ADDR_OVRD     5
+#define MADT_IO_SAPIC             6
+#define MADT_L_SAPIC              7
+#define MADT_PLATFORM_INTR_SRC    8
+#define MADT_RESERVED_SKIP_BEGIN  9
+#define MADT_RESERVED_SKIP_END    127
+#define MADT_RESERVED_OEM_BEGIN   128
 
 struct madt_apic_header {
@@ -57,5 +57,4 @@
 	uint8_t length;
 } __attribute__ ((packed));
-
 
 /* Multiple APIC Description Table */
@@ -71,5 +70,5 @@
 	uint8_t acpi_id;
 	uint8_t apic_id;
-	uint32_t flags;	
+	uint32_t flags;
 } __attribute__ ((packed));
 
@@ -78,5 +77,5 @@
 	uint8_t io_apic_id;
 	uint8_t reserved;
-	uint32_t io_apic_address;	
+	uint32_t io_apic_address;
 	uint32_t global_intr_base;
 } __attribute__ ((packed));
@@ -114,5 +113,5 @@
 	uint8_t reserved;
 	uint32_t global_intr_base;
-	uint64_t io_apic_address;		
+	uint64_t io_apic_address;
 } __attribute__ ((packed));