more cleanup

4 jobs for kernels in 13 minutes and 14 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build Docker
passed build_docker #1111800

00:00:17

 
  Testing
passed test_clang #1111802

00:12:04

passed test_gcc #1111801

00:12:41

 
  Build Tarballs
passed release #1111803

00:00:15