Add kernel projects to manifest