There's a merged pull request on the void-packages repository rpi-kernel: enable IR device modules https://github.com/void-linux/void-packages/pull/15636 Description: [skip ci] `mceusb` and related modules aren't enabled in the kernel, preventing IR remotes from working.