Index: kernel/generic/src/lib/rd.c
===================================================================
--- kernel/generic/src/lib/rd.c	(revision fb48a0e907656015204723ad5eead3719f29242e)
+++ kernel/generic/src/lib/rd.c	(revision 3191c01062bff04cebf16f4afcbd6f44d1ff57c1)
@@ -54,5 +54,5 @@
 void init_rd(void *data, size_t size)
 {
-	uintptr_t base = KA2PA((uintptr_t) data);
+	uintptr_t base = (uintptr_t) data;
 	ASSERT((base % FRAME_SIZE) == 0);