[  422.921783][ T3727] packetdrill (3727) used greatest stack depth: 23904 bytes left
[  423.398982][    C0] clocksource: Watchdog remote CPU 1 read timed out