After a LAVA job completes, the ci-management jobs try to use curl to fetch the LAVA output, then use some sed/grep magic to dump the kernel boot log so it's present in the Jenkins log.

This stopped working at some point and should be added back.