New issue by paper42 on void-packages repository

https://github.com/void-linux/void-packages/issues/43517

Description:
When installing `dkms` on Raspberry Pis with aarch64 architecture, `linux-headers` gets pulled as a dependency, but `rpi-kernel-headers` should be used instead. There are a few possible solutions:

1. remove `dkms` dependency on `linux-headers` on aarch64 (rejected because vanilla kernel exists for aarch64) https://github.com/void-linux/void-packages/pull/24535
2. when building the rpi3 (and rpi4 in the future) images, add `linux-headers` to `ignorepkg=` in `/etc/xbps.d`. This means users will have to install `rpi-kernel-headers` manually.