Currently, we're storing all extract and compiled kernels in kernel_root/. Each compiled version takes up a couple of GBs, which is not optimal. We should find a way to only store the necessary parts to reduce redundancy on disk.