New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/issues/34554#issuecomment-998216894

Comment:
linux5.12 has already been removed from source repos, and linux5.13 and 5.14 will soon be removed.