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