There's a merged pull request on the void-packages repository

linux5.1: document where modules are compressed
https://github.com/void-linux/void-packages/pull/12819
Description: [ci skip]