Index: kernel/generic/src/lib/rd.c
===================================================================
--- kernel/generic/src/lib/rd.c	(revision fb48a0e907656015204723ad5eead3719f29242e)
+++ kernel/generic/src/lib/rd.c	(revision 94f6df78dd46b93498ccd44f24c2a40a3dbaa74a)
@@ -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);