[  736.562419][    C1] tc mirred to Houston: device veth2 is down
[  736.717726][    C1] tc mirred to Houston: device veth3 is down
[  736.775367][    C1] tc mirred to Houston: device veth3 is down
[  744.408315][    C0] clocksource: Watchdog remote CPU 3 read timed out