[ 1407.651291] veth0: renamed from ioam-veth-alpha
[ 1407.654581] veth0: renamed from ioam-veth-betaL
[ 1407.657884] veth1: renamed from ioam-veth-betaR
[ 1407.661142] veth0: renamed from ioam-veth-gamma
[ 1443.674546] clocksource: Watchdog remote CPU 2 read timed out