New comment by Duncaen on void-packages repository https://github.com/void-linux/void-packages/pull/46165#issuecomment-1728507073 Comment: Kernels are not necessarily named `vmlinuz`, it could be `vmlinux` depending on the architecture.