Index: kernel/generic/src/mm/km.c
===================================================================
--- kernel/generic/src/mm/km.c	(revision 5ecac7e2401f64a1e94fae497d05dd8464194cb5)
+++ kernel/generic/src/mm/km.c	(revision 6ddd7f8cece6bae9f7749e491a5633f4af0b4ce9)
@@ -171,5 +171,5 @@
 		page_mapping_remove(AS_KERNEL, vaddr + offs);
 
-	tlb_invalidate_asid(ASID_KERNEL);
+	tlb_invalidate_pages(ASID_KERNEL, vaddr, size >> PAGE_WIDTH);
 
 	as_invalidate_translation_cache(AS_KERNEL, 0, -1);
@@ -203,5 +203,5 @@
  *
  * @param vaddr		Virtual address to be unmapped. May be unaligned, but
- *			it must a value previously returned by km_map().
+ *			it must be a value previously returned by km_map().
  * @param size		Size of area starting at vaddr to be unmapped.
  */