diff --git a/docs/change-log.md b/docs/change-log.md
index 61499c78b..ee9be7758 100644
--- a/docs/change-log.md
+++ b/docs/change-log.md
@@ -20,6 +20,10 @@ Detailed changes since last release
 *   Unmask SError and Debug exceptions in the trusted firmware.
     Also route external abort and SError interrupts to EL3.
 
+*   The amount of physical RAM available to Linux as specified in the FDTs for
+    Base FVPs have been increased from 2GB to 4GB. This resolves the issue of
+    failing to start user-space when using a RAM-disk file-system.
+
 
 ARM Trusted Firmware - version 0.2
 ==================================
diff --git a/docs/user-guide.md b/docs/user-guide.md
index 45e850b22..2c7439a74 100644
--- a/docs/user-guide.md
+++ b/docs/user-guide.md
@@ -338,10 +338,6 @@ To prepare a VirtioBlock file-system, do the following:
 
 ##### Prepare RAM-disk
 
-NOTE: The RAM-disk option does not currently work with the Linux kernel version
-described above; use the VirtioBlock method instead. For further information
-please see the "Known issues" section in the [Change Log].
-
 To prepare a RAM-disk root file-system, do the following:
 
 1.  Download the file-system image:
diff --git a/fdts/fvp-base-gicv2-psci.dtb b/fdts/fvp-base-gicv2-psci.dtb
index bfb27106f..5bfdcf1da 100644
Binary files a/fdts/fvp-base-gicv2-psci.dtb and b/fdts/fvp-base-gicv2-psci.dtb differ
diff --git a/fdts/fvp-base-gicv2-psci.dts b/fdts/fvp-base-gicv2-psci.dts
index 7aa18a5ff..c8e8d13ee 100644
--- a/fdts/fvp-base-gicv2-psci.dts
+++ b/fdts/fvp-base-gicv2-psci.dts
@@ -115,10 +115,8 @@
 
 	memory@80000000 {
 		device_type = "memory";
-		reg = <0x00000000 0x80000000 0 0x80000000>;
-		/*
+		reg = <0x00000000 0x80000000 0 0x80000000>,
 		      <0x00000008 0x80000000 0 0x80000000>;
-		*/
 	};
 
 	gic: interrupt-controller@2f000000 {
diff --git a/fdts/fvp-base-gicv2legacy-psci.dtb b/fdts/fvp-base-gicv2legacy-psci.dtb
index 227c16173..db17e9806 100644
Binary files a/fdts/fvp-base-gicv2legacy-psci.dtb and b/fdts/fvp-base-gicv2legacy-psci.dtb differ
diff --git a/fdts/fvp-base-gicv2legacy-psci.dts b/fdts/fvp-base-gicv2legacy-psci.dts
index 340ae500c..e53621e6c 100644
--- a/fdts/fvp-base-gicv2legacy-psci.dts
+++ b/fdts/fvp-base-gicv2legacy-psci.dts
@@ -115,10 +115,8 @@
 
 	memory@80000000 {
 		device_type = "memory";
-		reg = <0x00000000 0x80000000 0 0x80000000>;
-		/*
+		reg = <0x00000000 0x80000000 0 0x80000000>,
 		      <0x00000008 0x80000000 0 0x80000000>;
-		*/
 	};
 
 	gic: interrupt-controller@2c001000 {
diff --git a/fdts/fvp-base-gicv3-psci.dtb b/fdts/fvp-base-gicv3-psci.dtb
index 5198cc7ea..52f251b88 100644
Binary files a/fdts/fvp-base-gicv3-psci.dtb and b/fdts/fvp-base-gicv3-psci.dtb differ
diff --git a/fdts/fvp-base-gicv3-psci.dts b/fdts/fvp-base-gicv3-psci.dts
index 8bafe2675..c51a6724e 100644
--- a/fdts/fvp-base-gicv3-psci.dts
+++ b/fdts/fvp-base-gicv3-psci.dts
@@ -115,10 +115,8 @@
 
 	memory@80000000 {
 		device_type = "memory";
-		reg = <0x00000000 0x80000000 0 0x80000000>;
-		/*
+		reg = <0x00000000 0x80000000 0 0x80000000>,
 		      <0x00000008 0x80000000 0 0x80000000>;
-		*/
 	};
 
 	gic: interrupt-controller@2f000000 {