--- /tmp/10_linux	2014-10-05 01:01:40.808482809 -0400
+++ 10_linux	2014-10-05 01:03:01.985453075 -0400
@@ -204,10 +204,11 @@
   rel_dirname=`make_system_path_relative_to_its_root $dirname`
   version=`echo $basename | sed -e "s,^[^0-9]*-,,g"`
   alt_version=`echo $version | sed -e "s,\.old$,,g"`
+  efi_free_version=`echo $version | sed -e "s,\.efi\.signed$,,g"`
   linux_root_device_thisversion="${LINUX_ROOT_DEVICE}"
 
   initrd=
-  for i in "initrd.img-${version}" "initrd-${version}.img" \
+  for i in "initrd.img-${version}" "initrd.img-${efi_free_version}" "initrd-${version}.img" \
 	   "initrd-${version}" "initramfs-${version}.img" \
 	   "initrd.img-${alt_version}" "initrd-${alt_version}.img" \
 	   "initrd-${alt_version}" "initramfs-${alt_version}.img" \