Index: genarch/include/acpi/madt.h
===================================================================
--- genarch/include/acpi/madt.h	(revision a83a80223db1510dfc272b8db5ac5069371b7b25)
+++ genarch/include/acpi/madt.h	(revision f4338d2fac6a4e6b6236f00ee0b78b29bc920b0a)
@@ -80,5 +80,5 @@
 	__u8 bus;
 	__u8 source;
-	__u32 global_intr;
+	__u32 global_int;
 	__u16 flags;
 } __attribute__ ((packed));
Index: genarch/src/acpi/matd.c
===================================================================
--- genarch/src/acpi/matd.c	(revision a83a80223db1510dfc272b8db5ac5069371b7b25)
+++ genarch/src/acpi/matd.c	(revision f4338d2fac6a4e6b6236f00ee0b78b29bc920b0a)
@@ -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);
 }