Comment 6 for bug 751782

Since there appear some /boot/vmlinuz*.efi.signed files in Ubuntu 12.10, kernel update fails again. Kernel is updated, but "uname -a" still reports old kernel on live system. This patch excludes those files and fixes the problem for me.