Signed-off-by: Ting Liu <b28495@freescale.com>
 
 require e5500-64b.inc
 
-UBOOT_MACHINES ?= "P5040DS"
+UBOOT_MACHINES ?= "P5040DS  P5040DS_NAND P5040DS_SECURE_BOOT"
 KERNEL_DEVICETREE = "${S}/arch/powerpc/boot/dts/p5040ds.dts \
        ${S}/arch/powerpc/boot/dts/p5040ds-usdpaa.dts"
 KERNEL_DEFCONFIG = "${S}/arch/powerpc/configs/corenet64_smp_defconfig"
 
 
 require e5500.inc
 
-UBOOT_MACHINES ?= "P5040DS"
+UBOOT_MACHINES ?= "P5040DS P5040DS_NAND P5040DS_SECURE_BOOT"
 KERNEL_DEVICETREE = "${S}/arch/powerpc/boot/dts/p5040ds.dts \
        ${S}/arch/powerpc/boot/dts/p5040ds-usdpaa.dts"
 KERNEL_DEFCONFIG = "${S}/arch/powerpc/configs/corenet32_smp_defconfig"