Index: kernel/genarch/src/acpi/acpi.c
===================================================================
--- kernel/genarch/src/acpi/acpi.c	(revision 98000fb4ea6015506f059c9b121e417ce991ecfd)
+++ kernel/genarch/src/acpi/acpi.c	(revision af65b727b2d309464d7cc25a7ce3ad5dc5afbdbc)
@@ -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();
 
 }