diff --git a/meta-digi-arm/conf/machine/ccmp15-dvk.conf b/meta-digi-arm/conf/machine/ccmp15-dvk.conf
index e646f0433..91dc108a3 100644
--- a/meta-digi-arm/conf/machine/ccmp15-dvk.conf
+++ b/meta-digi-arm/conf/machine/ccmp15-dvk.conf
@@ -67,6 +67,8 @@ TF_DEBUG ?= "0"
 # =========================================================================
 # Kernel
 # =========================================================================
+KERNEL_IMAGETYPE = "zImage"
+KERNEL_ALT_IMAGETYPE = "Image uImage vmlinux"
 KERNEL_DEFCONFIG ?= "ccmp15_defconfig"
 ST_KERNEL_LOADADDR ?= "0xC0008000"