Travis-ci: specified a kernel header version to install