I guess this will have to change after the kernel manager PR is merged.