New comment by Dko1905 on void-packages repository

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

Comment:
I disagree, what you are suggesting could break other packages or systems. My PR only adds the possibility to use .efi instead the normal filenames. And the "restore" functionality was already broken, so I removed it.