New review comment by 0x5c on void-packages repository

https://github.com/void-linux/void-packages/pull/37283#discussion_r1111431181

Comment:
Since Github has changed the way they run CI, the whole override mechanism is not longer needed and has been removed from the PR.