New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/39796#issuecomment-1743323423

Comment:
Btw, the kernel could potentially be used as a _generic_ aarch64 16K pages kernel.