New comment by q66 on void-packages repository https://github.com/void-linux/void-packages/issues/28046#issuecomment-763521296 Comment: we don't ship extra kernels except when needed for hardware support