A kernel Oops reported from NodeCI, see attachment. Seems to have been during takedown... i.e. kill(-1).