[ 1426.988248][T31188] veth0: renamed from ioam-veth-alpha
[ 1427.023916][T31189] veth0: renamed from ioam-veth-betaL
[ 1427.049977][T31190] veth1: renamed from ioam-veth-betaR
[ 1427.082495][T31191] veth0: renamed from ioam-veth-gamma
[ 1491.540118][    C0] clocksource: Watchdog remote CPU 1 read timed out