[ 1210.053410] veth0: renamed from ioam-veth-alpha
[ 1210.056405] veth0: renamed from ioam-veth-betaL
[ 1210.059338] veth1: renamed from ioam-veth-betaR
[ 1210.062285] veth0: renamed from ioam-veth-gamma
[ 1252.183318] clocksource: Watchdog remote CPU 3 read timed out