Index: kernel/arch/ppc32/src/ppc32.c
===================================================================
--- kernel/arch/ppc32/src/ppc32.c	(revision a1b9f63c506357f379bb6f1d9f633d5a740e941c)
+++ kernel/arch/ppc32/src/ppc32.c	(revision 848740c9426c4efa097f990344c896405c19c59d)
@@ -237,11 +237,8 @@
 #ifdef CONFIG_MAC_KBD
 		uintptr_t pa = assigned_address[0].addr + 0x16000;
-		uintptr_t aligned_addr = ALIGN_DOWN(pa, PAGE_SIZE);
-		size_t offset = pa - aligned_addr;
 		size_t size = 2 * PAGE_SIZE;
 
-		cuda_t *cuda = (cuda_t *) (km_map(aligned_addr, offset + size,
-		    KM_NATURAL_ALIGNMENT,
-		    PAGE_WRITE | PAGE_NOT_CACHEABLE) + offset);
+		cuda_t *cuda = (cuda_t *) km_map(pa, size, KM_NATURAL_ALIGNMENT,
+		    PAGE_WRITE | PAGE_NOT_CACHEABLE);
 
 		/* Initialize I/O controller */