Index: genarch/src/acpi/matd.c
===================================================================
--- genarch/src/acpi/matd.c	(revision a83a80223db1510dfc272b8db5ac5069371b7b25)
+++ genarch/src/acpi/matd.c	(revision 902fb856d1931fcf547fdb933b2933b0d2f6474d)
@@ -227,7 +227,7 @@
 {
 	ASSERT(override->source < sizeof(isa_irq_map)/sizeof(int));
-	printf("Remapping irq%d to IO APIC pin%d\n",  override->source, override->global_intr);
-	isa_irq_map[override->source] = override->global_intr;
-	
+	printf("MADT: ignoring %s entry: bus=%d, source=%d, global_int=%d, flags=%W\n",
+		entry[override->header.type], override->bus, override->source,
+		override->global_int, override->flags);
 }