diff --git a/app/aboot/aboot.c b/app/aboot/aboot.c
index f4c2b10..5b03052 100644
--- a/app/aboot/aboot.c
+++ b/app/aboot/aboot.c
@@ -384,7 +384,9 @@
 {
 	int ret = 0;
 	void (*entry)(unsigned, unsigned, unsigned*) = (entry_func_ptr*)(PA((addr_t)kernel));
-	uint32_t tags_phys = platform_get_virt_to_phys_mapping((addr_t)tags);
+	uint32_t tags_phys = PA((addr_t)tags);
+
+	ramdisk = PA(ramdisk);
 
 #if DEVICE_TREE
 	/* Update the Device Tree */