Index: kernel/arch/ia32/include/smp/mps.h
===================================================================
--- kernel/arch/ia32/include/smp/mps.h	(revision e3038b41e1f6e1ef905bbc80916933e18d3e3008)
+++ kernel/arch/ia32/include/smp/mps.h	(revision 9a21f9d1dd5d4e7faa2041845e285c64a93220ff)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32	
+/** @addtogroup ia32
  * @{
  */
@@ -41,6 +41,6 @@
 #include <arch/smp/smp.h>
 
-#define CT_EXT_ENTRY_TYPE		0
-#define CT_EXT_ENTRY_LEN		1
+#define CT_EXT_ENTRY_TYPE  0
+#define CT_EXT_ENTRY_LEN   1
 
 struct mps_fs {
@@ -70,5 +70,5 @@
 	uint16_t ext_table_length;
 	uint8_t ext_table_checksum;
-	uint8_t xxx;
+	uint8_t reserved;
 	uint8_t base_table[0];
 } __attribute__ ((packed));
@@ -81,5 +81,5 @@
 	uint8_t cpu_signature[4];
 	uint32_t feature_flags;
-	uint32_t xxx[2];
+	uint32_t reserved[2];
 } __attribute__ ((packed));
 
@@ -102,5 +102,5 @@
 	uint8_t intr_type;
 	uint8_t poel;
-	uint8_t xxx;
+	uint8_t reserved;
 	uint8_t src_bus_id;
 	uint8_t src_bus_irq;
@@ -113,5 +113,5 @@
 	uint8_t intr_type;
 	uint8_t poel;
-	uint8_t xxx;
+	uint8_t reserved;
 	uint8_t src_bus_id;
 	uint8_t src_bus_irq;
Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision e3038b41e1f6e1ef905bbc80916933e18d3e3008)
+++ kernel/arch/ia32/src/ia32.c	(revision 9a21f9d1dd5d4e7faa2041845e285c64a93220ff)
@@ -139,5 +139,5 @@
 {
 #ifdef CONFIG_SMP
-        if (config.cpu_active > 1) {
+	if (config.cpu_active > 1) {
 		l_apic_init();
 		l_apic_debug();