Delete Slim Kernel and Toolchain repository