New comment by JamiKettunen on void-packages repository https://github.com/void-linux/void-packages/pull/34962#issuecomment-1008296325 Comment: There's 2 ways we could fix `rpi2-kernel` build: 1. We disable `CONFIG_GCC_PLUGINS` 2. We add `gmp-devel libmpc-devel` to `hostmakedepends`, but it doesn't look like any of the other `rpi*-kernel` packages do this? Which one do I go for? I didn't happen to catch this one locally since I just verified `/boot/bcm2710-rpi-zero-2.dtb` got added to the `rpi3-kernel` package.