New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/27291#issuecomment-749015180 Comment: Should we fix this by moving the installed drivers into `/usr/lib` or is it a matter of removing the lint?