tree 4c44548bb974fe3ef98312802a7eb3566c4df9f7
parent a4fbff209cec31760200ce0caaa1a0d6ec3b5524
author Jan Kundrát <kundrat@cesnet.cz> 1551732058 +0100
committer Jan Kundrát <kundrat@cesnet.cz> 1551784735 +0100

CI: Use a working Linux kernel

That patch is an aggregation from our Gerrit tree, the latest branch.

Change-Id: I0c142c12713550130a0dd2169ffa20bb1159bc75