The problem with renaming the kernel is that this is dynamic - how will this work with packaging all the files? On the other hand placing an extra file alongside the kernel is static, and easy to check by the grub scripts.