[  375.206256][ T3988] gre: GRE over IPv4 demultiplexer driver
[  375.218098][ T3988] ip_gre: GRE over IPv4 tunneling driver
[  375.878292][ T4011] 8021q: 802.1Q VLAN Support v1.8
[  409.953796][    C0] clocksource: Watchdog remote CPU 2 read timed out