[ 1513.406535][ T1891] veth0: renamed from ioam-veth-alpha
[ 1513.431779][ T1892] veth0: renamed from ioam-veth-betaL
[ 1513.461328][ T1893] veth1: renamed from ioam-veth-betaR
[ 1513.493685][ T1894] veth0: renamed from ioam-veth-gamma
[ 1536.025170][    C0] clocksource: Watchdog remote CPU 2 read timed out