fix bad merge of upstream config
[automated-distro-installer] / fai / config / distro-install-common / install-mainline-kernel-debs