Index: kernel/genarch/src/acpi/acpi.c
===================================================================
--- kernel/genarch/src/acpi/acpi.c	(revision cc531be1fa318880c0c47de3b0e1dbf0d95cab9e)
+++ kernel/genarch/src/acpi/acpi.c	(revision f49cf640707824b9d6907eb61755c2dffb2e7b67)
@@ -168,8 +168,11 @@
 
 	acpi_rsdt = (struct acpi_rsdt *) (unative_t) acpi_rsdp->rsdt_address;
-	if (acpi_rsdp->revision) acpi_xsdt = (struct acpi_xsdt *) ((uintptr_t) acpi_rsdp->xsdt_address);
+	if (acpi_rsdp->revision)
+		acpi_xsdt = (struct acpi_xsdt *) ((uintptr_t) acpi_rsdp->xsdt_address);
 
-	if (acpi_rsdt) map_sdt((struct acpi_sdt_header *) acpi_rsdt);
-	if (acpi_xsdt) map_sdt((struct acpi_sdt_header *) acpi_xsdt);	
+	if (acpi_rsdt)
+		map_sdt((struct acpi_sdt_header *) acpi_rsdt);
+	if (acpi_xsdt)
+		map_sdt((struct acpi_sdt_header *) acpi_xsdt);
 
 	if (acpi_rsdt && !acpi_sdt_check((uint8_t *) acpi_rsdt)) {
@@ -182,6 +185,8 @@
 	}
 
-	if (acpi_xsdt) configure_via_xsdt();
-	else if (acpi_rsdt) configure_via_rsdt();
+	if (acpi_xsdt)
+		configure_via_xsdt();
+	else if (acpi_rsdt)
+		configure_via_rsdt();
 
 }