New review comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/24190#discussion_r467682917 Comment: Since we are at this, @q66 do you think we can remove this whole case and just use the same options for all platforms? The other option is making `rpi` a build option, not set by default, to build retropie with `rpi-userland-devel`.