Index: kernel/genarch/src/acpi/acpi.c
===================================================================
--- kernel/genarch/src/acpi/acpi.c	(revision 7cb567cd74caf371a5b1b053095a12b9bd1704a6)
+++ kernel/genarch/src/acpi/acpi.c	(revision 7bb0c321ab9bf6b85b9e96d07f8afca9e9c5bb9a)
@@ -60,5 +60,5 @@
 	
 	for (i = 0; i < 20; i++)
-		sum += rsdp[i];
+		sum = (uint8_t) (sum + rsdp[i]);
 		
 	if (sum)	
@@ -69,5 +69,5 @@
 		
 	for (; i < r->length; i++)
-		sum += rsdp[i];
+		sum = (uint8_t) (sum + rsdp[i]);
 		
 	return !sum;
@@ -82,5 +82,5 @@
 
 	for (i = 0; i < h->length; i++)
-		sum += sdt[i];
+		sum = (uint8_t) (sum + sdt[i]);
 		
 	return !sum;
@@ -106,5 +106,5 @@
 					goto next;
 				*signature_map[j].sdt_ptr = h;
-				printf("%#zx: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
+				printf("%#zp: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
 			}
 		}
@@ -127,5 +127,5 @@
 					goto next;
 				*signature_map[j].sdt_ptr = h;
-				printf("%#zx: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
+				printf("%#zp: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
 			}
 		}
@@ -161,5 +161,5 @@
 
 rsdp_found:
-	printf("%#zx: ACPI Root System Description Pointer\n", acpi_rsdp);
+	printf("%#zp: ACPI Root System Description Pointer\n", acpi_rsdp);
 
 	acpi_rsdt = (struct acpi_rsdt *) (unative_t) acpi_rsdp->rsdt_address;