New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/25882#issuecomment-716195639 Comment: > I'm currently building it on aarch64-musl but I'm not sure if that's relevant for a kernel package. Surprisingly, it can be. But since you're only moving the additional header, probably isn't.