[ 1428.169630][T31439] veth0: renamed from ioam-veth-alpha
[ 1428.196925][T31440] veth0: renamed from ioam-veth-betaL
[ 1428.233067][T31441] veth1: renamed from ioam-veth-betaR
[ 1428.256304][T31442] veth0: renamed from ioam-veth-gamma
[ 1526.493005][    C0] clocksource: Watchdog remote CPU 3 read timed out