New comment by r-ricci on void-packages repository https://github.com/void-linux/void-packages/pull/46152#issuecomment-1727637004 Comment: `rpi-kernel` isn't the only place where the removal of headers for other architectures is causing problems with DKMS, as I pointed out in . Regular kernel packages should be patched as well.