Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision f2bbe8cb1a9ce9fb26bc0b8a05774260f7ba8175)
+++ kernel/generic/src/ipc/irq.c	(revision c4026aaa30b9805420e3ddd36854b94f59147dfe)
@@ -90,5 +90,7 @@
 
 	for (i = 0; i < rangecount; i++) {
+#ifdef IO_SPACE_BOUNDARY
 		if ((void *) ranges[i].base >= IO_SPACE_BOUNDARY)
+#endif
 			km_unmap(ranges[i].base, ranges[i].size);
 	}
@@ -108,6 +110,8 @@
 	/* Map the PIO ranges into the kernel virtual address space. */
 	for (i = 0; i < rangecount; i++) {
+#ifdef IO_SPACE_BOUNDARY
 		if ((void *) ranges[i].base < IO_SPACE_BOUNDARY)
 			continue;
+#endif
 		ranges[i].base = km_map(pbase[i], ranges[i].size,
 		    PAGE_READ | PAGE_WRITE | PAGE_KERNEL | PAGE_NOT_CACHEABLE);