Index: kernel/genarch/src/acpi/acpi.c
===================================================================
--- kernel/genarch/src/acpi/acpi.c	(revision 6c441cf8f35799043d891a3a77032e1b0e49112b)
+++ kernel/genarch/src/acpi/acpi.c	(revision ba661bce010ad734a46440fd01290bea8981f2e4)
@@ -106,5 +106,5 @@
 					goto next;
 				*signature_map[j].sdt_ptr = h;
-				printf("%#zp: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
+				printf("%p: 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("%#zp: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
+				printf("%p: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
 			}
 		}
@@ -161,5 +161,5 @@
 
 rsdp_found:
-	printf("%#zp: ACPI Root System Description Pointer\n", acpi_rsdp);
+	printf("%p: ACPI Root System Description Pointer\n", acpi_rsdp);
 
 	acpi_rsdt = (struct acpi_rsdt *) (unative_t) acpi_rsdp->rsdt_address;
@@ -170,9 +170,9 @@
 
 	if (acpi_rsdt && !acpi_sdt_check((uint8_t *) acpi_rsdt)) {
-		printf("RSDT: %s\n", "bad checksum");
+		printf("RSDT: bad checksum\n");
 		return;
 	}
 	if (acpi_xsdt && !acpi_sdt_check((uint8_t *) acpi_xsdt)) {
-		printf("XSDT: %s\n", "bad checksum");
+		printf("XSDT: bad checksum\n");
 		return;
 	}
Index: kernel/genarch/src/acpi/madt.c
===================================================================
--- kernel/genarch/src/acpi/madt.c	(revision 6c441cf8f35799043d891a3a77032e1b0e49112b)
+++ kernel/genarch/src/acpi/madt.c	(revision ba661bce010ad734a46440fd01290bea8981f2e4)
@@ -127,5 +127,5 @@
 int madt_irq_to_pin(unsigned int irq)
 {
-	ASSERT(irq < sizeof(isa_irq_map)/sizeof(int));
+	ASSERT(irq < sizeof(isa_irq_map) / sizeof(int));
         return isa_irq_map[irq];
 }
@@ -185,13 +185,13 @@
 				case MADT_L_SAPIC:
 				case MADT_PLATFORM_INTR_SRC:
-					printf("MADT: skipping %s entry (type=%zd)\n", entry[h->type], h->type);
+					printf("MADT: skipping %s entry (type=%" PRIu8 ")\n", entry[h->type], h->type);
 					break;
 	
 				default:
 					if (h->type >= MADT_RESERVED_SKIP_BEGIN && h->type <= MADT_RESERVED_SKIP_END) {
-						printf("MADT: skipping reserved entry (type=%zd)\n", h->type);
+						printf("MADT: skipping reserved entry (type=%" PRIu8 ")\n", h->type);
 					}
 					if (h->type >= MADT_RESERVED_OEM_BEGIN) {
-						printf("MADT: skipping OEM entry (type=%zd)\n", h->type);
+						printf("MADT: skipping OEM entry (type=%" PRIu8 ")\n", h->type);
 					}
 					break;
@@ -234,6 +234,6 @@
 void madt_intr_src_ovrd_entry(struct madt_intr_src_ovrd *override, uint32_t index)
 {
-	ASSERT(override->source < sizeof(isa_irq_map)/sizeof(int));
-	printf("MADT: ignoring %s entry: bus=%zd, source=%zd, global_int=%zd, flags=%#hx\n",
+	ASSERT(override->source < sizeof(isa_irq_map) / sizeof(int));
+	printf("MADT: ignoring %s entry: bus=%" PRIu8 ", source=%" PRIu8 ", global_int=%" PRIu32 ", flags=%#" PRIx16 "\n",
 		entry[override->header.type], override->bus, override->source,
 		override->global_int, override->flags);