diff --git a/xen/arch/arm/platforms/exynos5.c b/xen/arch/arm/platforms/exynos5.c
index 1368a04c14..262ded8b98 100644
--- a/xen/arch/arm/platforms/exynos5.c
+++ b/xen/arch/arm/platforms/exynos5.c
@@ -86,7 +86,7 @@ static uint32_t exynos5_quirks(void)
     return PLATFORM_QUIRK_DOM0_MAPPING_11;
 }
 
-static const char const *exynos5_dt_compat[] __initdata =
+static const char * const exynos5_dt_compat[] __initdata =
 {
     "samsung,exynos5250",
     NULL
diff --git a/xen/arch/arm/platforms/midway.c b/xen/arch/arm/platforms/midway.c
index 2d3be1b5c6..7a3dfe1899 100644
--- a/xen/arch/arm/platforms/midway.c
+++ b/xen/arch/arm/platforms/midway.c
@@ -41,7 +41,7 @@ static void midway_reset(void)
     iounmap(pmu);
 }
 
-static const char const *midway_dt_compat[] __initdata =
+static const char * const midway_dt_compat[] __initdata =
 {
     "calxeda,ecx-2000",
     NULL
diff --git a/xen/arch/arm/platforms/vexpress.c b/xen/arch/arm/platforms/vexpress.c
index 8fc30c4d48..6f7dc2c811 100644
--- a/xen/arch/arm/platforms/vexpress.c
+++ b/xen/arch/arm/platforms/vexpress.c
@@ -119,7 +119,7 @@ static void vexpress_reset(void)
     iounmap(sp810);
 }
 
-static const char const *vexpress_dt_compat[] __initdata =
+static const char * const vexpress_dt_compat[] __initdata =
 {
     "arm,vexpress",
     NULL