New comment by adrian-bl on void-packages repository https://github.com/void-linux/void-packages/issues/24657#issuecomment-687566964 Comment: I've created https://github.com/void-linux/void-docs/pull/504 Turns out that this is actually due to a custom change to the rbpi kernel: https://github.com/raspberrypi/linux/commit/9b0efcc1ec497b2985c6aaa60cd97f0d2d96d203#diff-f1d702fa7c504a2b38b30ce6bb098744