Dmitry V. Levin
7b0d371b3f
* ci/install-dependencies.sh: Install kernel headers after compiler dependencies to avoid a needless attempt to install $common_packages.