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