Index: kernel/genarch/src/acpi/acpi.c
===================================================================
--- kernel/genarch/src/acpi/acpi.c	(revision b3f8fb771f871e7f2bb35ce9339717639e8f86d6)
+++ kernel/genarch/src/acpi/acpi.c	(revision 7d07bf31f74e2ee585ca017e2dccbd51c38cad08)
@@ -57,7 +57,7 @@
 	struct acpi_rsdp *r = (struct acpi_rsdp *) rsdp;
 	uint8_t sum = 0;
-	int i;
+	unsigned int i;
 	
-	for (i=0; i<20; i++)
+	for (i = 0; i < 20; i++)
 		sum += rsdp[i];
 		
@@ -68,5 +68,5 @@
 		return 1; /* ACPI 1.0 */
 		
-	for (; i<r->length; i++)
+	for (; i < r->length; i++)
 		sum += rsdp[i];
 		
@@ -79,7 +79,7 @@
 	struct acpi_sdt_header *h = (struct acpi_sdt_header *) sdt;
 	uint8_t sum = 0;
-	int i;
+	unsigned int i;
 
-	for (i=0; i<h->length; i++)
+	for (i = 0; i < h->length; i++)
 		sum += sdt[i];
 		
@@ -95,12 +95,12 @@
 static void configure_via_rsdt(void)
 {
-	int i, j, cnt = (acpi_rsdt->header.length - sizeof(struct acpi_sdt_header))/sizeof(uint32_t);
+	unsigned int i, j, 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)/sizeof(struct acpi_signature_map); j++) {
+	for (i = 0; i < cnt; i++) {
+		for (j = 0; j < sizeof(signature_map) / sizeof(struct acpi_signature_map); j++) {
 			struct acpi_sdt_header *h = (struct acpi_sdt_header *) (unative_t) acpi_rsdt->entry[i];
 		
 			map_sdt(h);	
-			if (*((uint32_t *) &h->signature[0])==*((uint32_t *) &signature_map[j].signature[0])) {
+			if (*((uint32_t *) &h->signature[0]) == *((uint32_t *) &signature_map[j].signature[0])) {
 				if (!acpi_sdt_check((uint8_t *) h))
 					goto next;
@@ -116,12 +116,12 @@
 static void configure_via_xsdt(void)
 {
-	int i, j, cnt = (acpi_xsdt->header.length - sizeof(struct acpi_sdt_header))/sizeof(uint64_t);
+	unsigned int i, j, 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)/sizeof(struct acpi_signature_map); j++) {
+	for (i = 0; i < cnt; i++) {
+		for (j = 0; j < sizeof(signature_map) / sizeof(struct acpi_signature_map); j++) {
 			struct acpi_sdt_header *h = (struct acpi_sdt_header *) ((uintptr_t) acpi_rsdt->entry[i]);
 
 			map_sdt(h);
-			if (*((uint32_t *) &h->signature[0])==*((uint32_t *) &signature_map[j].signature[0])) {
+			if (*((uint32_t *) &h->signature[0]) == *((uint32_t *) &signature_map[j].signature[0])) {
 				if (!acpi_sdt_check((uint8_t *) h))
 					goto next;