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