+ gnu/packages/aux-files/linux-libre/5.8-arm.conf \
+ gnu/packages/aux-files/linux-libre/5.8-arm64.conf \
+ gnu/packages/aux-files/linux-libre/5.8-i686.conf \
+ gnu/packages/aux-files/linux-libre/5.8-x86_64.conf \
+ gnu/packages/aux-files/linux-libre/5.7-arm.conf \
+ gnu/packages/aux-files/linux-libre/5.7-arm64.conf \
+ gnu/packages/aux-files/linux-libre/5.7-i686.conf \
+ gnu/packages/aux-files/linux-libre/5.7-x86_64.conf \