Index: kernel/generic/src/mm/km.c
===================================================================
--- kernel/generic/src/mm/km.c	(revision 492ddc9a5844c132d0a705b09240f5e610c60c30)
+++ kernel/generic/src/mm/km.c	(revision 116cb910fa4dc220c3e250c165417a58ca7c95b0)
@@ -151,5 +151,4 @@
 {
 	uintptr_t offs;
-	size_t align;
 	ipl_t ipl;
 
@@ -170,10 +169,5 @@
 	page_table_unlock(AS_KERNEL, true);
 
-	/*
-	 * Match the size parameter with that of km_page_alloc() in
-	 * km_map_aligned().
-	 */
-	align = ispwr2(size) ? size : (1U << (fnzb(size) + 1));
-	km_page_free(vaddr, max(PAGE_SIZE, align));
+	km_page_free(vaddr, size);
 }