Index: kernel/genarch/src/acpi/acpi.c
===================================================================
--- kernel/genarch/src/acpi/acpi.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/genarch/src/acpi/acpi.c	(revision 47b2d7e3f708bed0cc86a39575d3eb6cb2b6e7f8)
@@ -69,17 +69,17 @@
 	uint8_t sum = 0;
 	uint32_t i;
-	
+
 	for (i = 0; i < 20; i++)
 		sum = (uint8_t) (sum + _rsdp[i]);
-	
+
 	if (sum)
 		return 0; /* bad checksum */
-	
+
 	if (rsdp->revision == 0)
 		return 1; /* ACPI 1.0 */
-	
+
 	for (; i < rsdp->length; i++)
 		sum = (uint8_t) (sum + _rsdp[i]);
-	
+
 	return !sum;
 }
@@ -90,8 +90,8 @@
 	uint8_t sum = 0;
 	unsigned int i;
-	
+
 	for (i = 0; i < hdr->length; i++)
 		sum = (uint8_t) (sum + sdt[i]);
-	
+
 	return !sum;
 }
@@ -109,5 +109,5 @@
 	vsdt = (struct acpi_sdt_header *) km_map((uintptr_t) psdt,
 	    vhdr->length, PAGE_WRITE | PAGE_NOT_CACHEABLE);
-	
+
 	// TODO: do not leak vtmp
 
@@ -121,5 +121,5 @@
 	size_t cnt = (acpi_rsdt->header.length - sizeof(struct acpi_sdt_header))
 	    / sizeof(uint32_t);
-	
+
 	for (i = 0; i < cnt; i++) {
 		for (j = 0; j < sizeof(signature_map)
@@ -127,10 +127,10 @@
 			struct acpi_sdt_header *hdr =
 			    (struct acpi_sdt_header *) (sysarg_t) acpi_rsdt->entry[i];
-			
+
 			struct acpi_sdt_header *vhdr = map_sdt(hdr);
 			if (CMP_SIGNATURE(vhdr->signature, signature_map[j].signature)) {
 				if (!acpi_sdt_check((uint8_t *) vhdr))
 					break;
-				
+
 				*signature_map[j].sdt_ptr = vhdr;
 				LOG("%p: ACPI %s", *signature_map[j].sdt_ptr,
@@ -147,5 +147,5 @@
 	size_t cnt = (acpi_xsdt->header.length - sizeof(struct acpi_sdt_header))
 	    / sizeof(uint64_t);
-	
+
 	for (i = 0; i < cnt; i++) {
 		for (j = 0; j < sizeof(signature_map)
@@ -153,10 +153,10 @@
 			struct acpi_sdt_header *hdr =
 			    (struct acpi_sdt_header *) ((uintptr_t) acpi_xsdt->entry[i]);
-			
+
 			struct acpi_sdt_header *vhdr = map_sdt(hdr);
 			if (CMP_SIGNATURE(vhdr->signature, signature_map[j].signature)) {
 				if (!acpi_sdt_check((uint8_t *) vhdr))
 					break;
-				
+
 				*signature_map[j].sdt_ptr = vhdr;
 				LOG("%p: ACPI %s", *signature_map[j].sdt_ptr,
@@ -174,5 +174,5 @@
 	unsigned int length[2] = { 1024, 128 * 1024 };
 	uint64_t *sig = (uint64_t *) RSDP_SIGNATURE;
-	
+
 	/*
 	 * Find Root System Description Pointer
@@ -180,5 +180,5 @@
 	 * 2. search 128K starting at 0xe0000
 	 */
-	
+
 	addr[0] = (uint8_t *) PA2KA(ebda);
 	for (i = (ebda ? 0 : 1); i < 2; i++) {
@@ -191,10 +191,10 @@
 		}
 	}
-	
+
 	return;
-	
+
 rsdp_found:
 	LOG("%p: ACPI Root System Description Pointer", acpi_rsdp);
-	
+
 	uintptr_t acpi_rsdt_p = (uintptr_t) acpi_rsdp->rsdt_address;
 	uintptr_t acpi_xsdt_p = 0;
@@ -202,23 +202,23 @@
 	if (acpi_rsdp->revision)
 		acpi_xsdt_p = (uintptr_t) acpi_rsdp->xsdt_address;
-	
+
 	if (acpi_rsdt_p)
 		acpi_rsdt = (struct acpi_rsdt *) map_sdt(
 		    (struct acpi_sdt_header *) acpi_rsdt_p);
-	
+
 	if (acpi_xsdt_p)
 		acpi_xsdt = (struct acpi_xsdt *) map_sdt(
 		    (struct acpi_sdt_header *) acpi_xsdt_p);
-	
+
 	if ((acpi_rsdt) && (!acpi_sdt_check((uint8_t *) acpi_rsdt))) {
 		log(LF_ARCH, LVL_ERROR, "RSDT: bad checksum");
 		return;
 	}
-	
+
 	if ((acpi_xsdt) && (!acpi_sdt_check((uint8_t *) acpi_xsdt))) {
 		log(LF_ARCH, LVL_ERROR, "XSDT: bad checksum");
 		return;
 	}
-	
+
 	if (acpi_xsdt)
 		configure_via_xsdt();