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