Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision f2c8f5588f9138d61d6ad09bef025846097bff23)
+++ kernel/generic/src/ipc/irq.c	(revision f8048d1b96f0b84d1c64179e0aaed6c7f1352f87)
@@ -95,4 +95,5 @@
 #endif
 		ranges[i].base = km_map(pbase[i], ranges[i].size,
+		    KM_NATURAL_ALIGNMENT,
 		    PAGE_READ | PAGE_WRITE | PAGE_KERNEL | PAGE_NOT_CACHEABLE);
 		if (!ranges[i].base) {