New review comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/26000#discussion_r554693233 Comment: I'm not sure I get what you mean. My point is that `rpi-base` currently works and pulls all dependencies for current rpi users. With this change, they will also have to download the kernel for their specific board. It would be simpler for them, without much more work on our side, to have a `rpi4-base` package for rpi4 users (it could even be a subpackage here), while current users don't get an orphaned kernel package or have to remember to install new systems with `rpi-base` *and* `rpi$something-kernel`.