[bin] 3.13 kernel is dead