VExpress-gem5:  Relocate HDLCD framebuffer to under 256MB
diff --git a/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5.dts b/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5.dts
index fe92ade..c173272 100644
--- a/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5.dts
+++ b/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5.dts
@@ -9,7 +9,7 @@
 
 /dts-v1/;
 
-/memreserve/ 0xbf000000 0x01000000;
+/memreserve/ 0x8f000000 0x01000000;
 
 / {
 	model = "V2P-CA15";
@@ -64,7 +64,7 @@
 //		mode = "1024x768MR-16@60";
 		mode = "1920x1080MR-16@60";	// HD mode string
 //		mode = "3840x2160MR-16@60";	// UHD4K mode string
-		framebuffer = <0 0xbf000000 0 0x01000000>;
+		framebuffer = <0 0x8f000000 0 0x01000000>;
 	};
 /*
 	memory-controller@2b0a0000 {
diff --git a/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_1cpus.dts b/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_1cpus.dts
index cffb492..0673fe8 100644
--- a/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_1cpus.dts
+++ b/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_1cpus.dts
@@ -9,7 +9,7 @@
 
 /dts-v1/;
 
-/memreserve/ 0xbf000000 0x01000000;
+/memreserve/ 0x8f000000 0x01000000;
 
 / {
 	model = "V2P-CA15";
@@ -89,7 +89,7 @@
 		clock-names = "pxlclk";
 		mode = "1024x768-16@60";
 //		mode = "3840x2160M-16@60m";	// 4K mode string
-		framebuffer = <0 0xbf000000 0 0x01000000>;
+		framebuffer = <0 0x8f000000 0 0x01000000>;
 	};
 /*
 	memory-controller@2b0a0000 {
diff --git a/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_2cpus.dts b/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_2cpus.dts
index 7eaba23..cb0e047 100644
--- a/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_2cpus.dts
+++ b/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_2cpus.dts
@@ -9,7 +9,7 @@
 
 /dts-v1/;
 
-/memreserve/ 0xbf000000 0x01000000;
+/memreserve/ 0x8f000000 0x01000000;
 
 / {
 	model = "V2P-CA15";
@@ -89,7 +89,7 @@
 		clock-names = "pxlclk";
 		mode = "1024x768-16@60";
 //		mode = "3840x2160M-16@60m";	// 4K mode string
-		framebuffer = <0 0xbf000000 0 0x01000000>;
+		framebuffer = <0 0x8f000000 0 0x01000000>;
 	};
 /*
 	memory-controller@2b0a0000 {
diff --git a/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_4cpus.dts b/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_4cpus.dts
index 30a83ba..eff3ae6 100644
--- a/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_4cpus.dts
+++ b/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_4cpus.dts
@@ -9,7 +9,7 @@
 
 /dts-v1/;
 
-/memreserve/ 0xbf000000 0x01000000;
+/memreserve/ 0x8f000000 0x01000000;
 
 / {
 	model = "V2P-CA15";
@@ -113,7 +113,7 @@
 		clock-names = "pxlclk";
 		mode = "1024x768-16@60";
 //		mode = "3840x2160M-16@60m";	// 4K mode string
-		framebuffer = <0 0xbf000000 0 0x01000000>;
+		framebuffer = <0 0x8f000000 0 0x01000000>;
 	};
 /*
 	memory-controller@2b0a0000 {
diff --git a/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_per_core_2cpus.dts b/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_per_core_2cpus.dts
index 6d68569..8c0dd48 100644
--- a/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_per_core_2cpus.dts
+++ b/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_per_core_2cpus.dts
@@ -9,7 +9,7 @@
 
 /dts-v1/;
 
-/memreserve/ 0xbf000000 0x01000000;
+/memreserve/ 0x8f000000 0x01000000;
 
 / {
 	model = "V2P-CA15";
@@ -96,7 +96,7 @@
 		clock-names = "pxlclk";
 		mode = "1024x768-16@60";
 //		mode = "3840x2160M-16@60m";	// 4K mode string
-		framebuffer = <0 0xbf000000 0 0x01000000>;
+		framebuffer = <0 0x8f000000 0 0x01000000>;
 	};
 /*
 	memory-controller@2b0a0000 {
diff --git a/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_per_core_4cpus.dts b/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_per_core_4cpus.dts
index 36068c9..f67a9b4 100644
--- a/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_per_core_4cpus.dts
+++ b/arch/arm/boot/dts/vexpress-v2p-ca15-tc1-gem5_dvfs_per_core_4cpus.dts
@@ -9,7 +9,7 @@
 
 /dts-v1/;
 
-/memreserve/ 0xbf000000 0x01000000;
+/memreserve/ 0x8f000000 0x01000000;
 
 / {
 	model = "V2P-CA15";
@@ -135,7 +135,7 @@
 		clock-names = "pxlclk";
 		mode = "1024x768-16@60";
 //		mode = "3840x2160M-16@60m";	// 4K mode string
-		framebuffer = <0 0xbf000000 0 0x01000000>;
+		framebuffer = <0 0x8f000000 0 0x01000000>;
 	};
 /*
 	memory-controller@2b0a0000 {