Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision f2c8f5588f9138d61d6ad09bef025846097bff23)
+++ kernel/generic/src/ipc/irq.c	(revision 954c0240b720c64358bccbdcdcb035fdd5a6f347)
@@ -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) {