Index: kernel/genarch/src/acpi/acpi.c
===================================================================
--- kernel/genarch/src/acpi/acpi.c	(revision f4c2b6a104d4ab9ce057413b12ff1efedcba0fcd)
+++ kernel/genarch/src/acpi/acpi.c	(revision 5ae44434cfd2872a471686a96b90a32837daa999)
@@ -50,6 +50,10 @@
 struct acpi_xsdt *acpi_xsdt = NULL;
 
-struct acpi_signature_map signature_map[] = { 
-	{ (uint8_t *)"APIC", (void *) &acpi_madt, "Multiple APIC Description Table" }
+struct acpi_signature_map signature_map[] = {
+	{
+		(uint8_t *) "APIC",
+		(void *) &acpi_madt,
+		"Multiple APIC Description Table"
+	}
 };
 
@@ -106,5 +110,5 @@
 					goto next;
 				*signature_map[j].sdt_ptr = h;
-				printf("%p: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
+				LOG("%p: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
 			}
 		}
@@ -127,5 +131,5 @@
 					goto next;
 				*signature_map[j].sdt_ptr = h;
-				printf("%p: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
+				LOG("%p: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
 			}
 		}
@@ -161,5 +165,5 @@
 
 rsdp_found:
-	printf("%p: ACPI Root System Description Pointer\n", acpi_rsdp);
+	LOG("%p: ACPI Root System Description Pointer\n", acpi_rsdp);
 
 	acpi_rsdt = (struct acpi_rsdt *) (unative_t) acpi_rsdp->rsdt_address;