diff --git a/projects/Rockchip/devices/RK3288/options b/projects/Rockchip/devices/RK3288/options
index 96cd306af9..8f804d95a9 100644
--- a/projects/Rockchip/devices/RK3288/options
+++ b/projects/Rockchip/devices/RK3288/options
@@ -17,9 +17,9 @@
 
   # Additional kernel make parameters (for example to specify the u-boot loadaddress)
     KERNEL_MAKE_EXTRACMD=""
-    KERNEL_MAKE_EXTRACMD+=" rk3288-miqi.dtb"
-    KERNEL_MAKE_EXTRACMD+=" rk3288-tinker.dtb"
-    KERNEL_MAKE_EXTRACMD+=" rk3288-tinker-s.dtb"
+    KERNEL_MAKE_EXTRACMD+=" rockchip/rk3288-miqi.dtb"
+    KERNEL_MAKE_EXTRACMD+=" rockchip/rk3288-tinker.dtb"
+    KERNEL_MAKE_EXTRACMD+=" rockchip/rk3288-tinker-s.dtb"
 
   # Mali GPU family
     MALI_FAMILY="t760"