Added compiled kernel debs