They just laid off their kernel team.