New comment by Duncaen on void-packages repository

https://github.com/void-linux/void-packages/pull/29780#issuecomment-817315821

Comment:
changing the file name makes `vkpurge` think the kernel is not owned by any package and would allow removal even though the kernel package is still installed or booted.