Basically we just need to care /boot/vmlinuz-* file, which is the only files grub scans over and handles. We may list both /boot/xxxvmlinuz-* and /boot/vmlinuz-* in the rpm file list, so that they can be cleaned up properly, too.