Infernal kernel restarted