--- trunk/grubby/new-kernel-pkg	2014/07/16 10:38:09	2685
+++ trunk/grubby/new-kernel-pkg	2014/07/16 10:40:51	2686
@@ -277,7 +277,7 @@
 		[[ -n ${verbose} ]] && echo "adding ${version} to ${grub2EfiConfig}"
 
 		${grubby} --grub2 -c ${grub2EfiConfig} --efi \
-			--add-kernel=${kernelImage} \
+			--add-kernel=${kernelImage} ${DEVTREE} \
 			${INITRD} --copy-default ${makedefault} --title "${title}" \
 			${mbkernel:+--add-multiboot="${mbkernel}"} \
 			${mbargs:+--mbargs="${mbargs}"} \