diff --git a/system/arm/dt/Makefile b/system/arm/dt/Makefile
index c472a0e09c..2d8ca6ec8e 100644
--- a/system/arm/dt/Makefile
+++ b/system/arm/dt/Makefile
@@ -1,4 +1,4 @@
-# Copyright (c) 2015-2016 ARM Limited
+# Copyright (c) 2015-2016, 2019 ARM Limited
 # All rights reserved.
 #
 # Redistribution and use in source and binary forms, with or without
@@ -56,7 +56,7 @@ VEXPRESS_GEM5_V2_DTSIS=\
 GEN_DTS=mkdir -p .gen; \
 	$(CPP) -x assembler-with-cpp \
 		$(DTC_CPP_FLAGS) \
-		-DCONF_PLATFORM=\"platforms/$(1)\" \
+		-DCONF_PLATFORM=\"../platforms/$(1)\" \
 		-DCONF_CPUS=$(2) \
 		-o $@ $<
 
diff --git a/system/arm/dt/armv7.dts b/system/arm/dt/armv7.dts
index c9c2523476..96b37ec570 100644
--- a/system/arm/dt/armv7.dts
+++ b/system/arm/dt/armv7.dts
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2015-2016 ARM Limited
+ * Copyright (c) 2015-2016, 2019 ARM Limited
  * All rights reserved
  *
  * Redistribution and use in source and binary forms, with or without
@@ -30,7 +30,7 @@
 
 /dts-v1/;
 
-#include CONF_PLATFORM
+/include/ CONF_PLATFORM
 
 #define CPU(n) \
 	cpu@ ## n { \
diff --git a/system/arm/dt/armv8.dts b/system/arm/dt/armv8.dts
index 20d58a8129..e221e6a455 100644
--- a/system/arm/dt/armv8.dts
+++ b/system/arm/dt/armv8.dts
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2015-2016 ARM Limited
+ * Copyright (c) 2015-2016, 2019 ARM Limited
  * All rights reserved
  *
  * Redistribution and use in source and binary forms, with or without
@@ -32,7 +32,7 @@
 
 /memreserve/ 0x80000000 0x00010000;
 
-#include CONF_PLATFORM
+/include/ CONF_PLATFORM
 
 #define CPU(n) \
 	cpu@ ## n { \
diff --git a/system/arm/dt/armv8_big_little.dts b/system/arm/dt/armv8_big_little.dts
index 83d2db76ff..347cfe3942 100644
--- a/system/arm/dt/armv8_big_little.dts
+++ b/system/arm/dt/armv8_big_little.dts
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2015-2016 ARM Limited
+ * Copyright (c) 2015-2016, 2019 ARM Limited
  * All rights reserved
  *
  * Redistribution and use in source and binary forms, with or without
@@ -33,7 +33,7 @@
 
 /memreserve/ 0x80000000 0x00010000;
 
-#include CONF_PLATFORM
+/include/ CONF_PLATFORM
 
 /* Assign a unique ID for pre-defined configurations. The selected
  * configuration is picked up from CONF_CPUS
diff --git a/system/arm/dt/platforms/vexpress_gem5_v1.dtsi b/system/arm/dt/platforms/vexpress_gem5_v1.dtsi
index 60f68f7b26..d9c387703c 100644
--- a/system/arm/dt/platforms/vexpress_gem5_v1.dtsi
+++ b/system/arm/dt/platforms/vexpress_gem5_v1.dtsi
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2015-2018 ARM Limited
+ * Copyright (c) 2015-2019 ARM Limited
  * All rights reserved
  *
  * Redistribution and use in source and binary forms, with or without
@@ -28,7 +28,7 @@
  * Authors: Andreas Sandberg
  */
 
-#include "vexpress_gem5_v1_base.dtsi"
+/include/ "vexpress_gem5_v1_base.dtsi"
 
 / {
 	/* The display processor needs custom configuration to setup its
diff --git a/system/arm/dt/platforms/vexpress_gem5_v2.dtsi b/system/arm/dt/platforms/vexpress_gem5_v2.dtsi
index 8c7a903c77..9e4ccbdf5e 100644
--- a/system/arm/dt/platforms/vexpress_gem5_v2.dtsi
+++ b/system/arm/dt/platforms/vexpress_gem5_v2.dtsi
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2015-2018 ARM Limited
+ * Copyright (c) 2015-2019 ARM Limited
  * All rights reserved
  *
  * Redistribution and use in source and binary forms, with or without
@@ -28,7 +28,7 @@
  * Authors: Andreas Sandberg
  */
 
-#include "vexpress_gem5_v2_base.dtsi"
+/include/ "vexpress_gem5_v2_base.dtsi"
 
 / {
 	/* The display processor needs custom configuration to setup its