[ 1498.299328][ T2422] veth0: renamed from ioam-veth-alpha
[ 1498.324954][ T2423] veth0: renamed from ioam-veth-betaL
[ 1498.354731][ T2424] veth1: renamed from ioam-veth-betaR
[ 1498.382988][ T2425] veth0: renamed from ioam-veth-gamma
[ 1530.508886][    C0] clocksource: Watchdog remote CPU 3 read timed out