New comment by ericonr on void-packages repository

https://github.com/void-linux/void-packages/issues/13360#issuecomment-756885766

Comment:
Platform specific kernels, while undesirable, are sometimes the only way to boot into a certain platform or access all its features. This isn't the case here.