[Enter `^Ec?' for help]
[spying]
[   71.723509] KGDB: Registered I/O driver kgdboc
[   80.514469] KGDB: Unregistered I/O driver kgdboc, debugger disabled
[   80.520756] KGDB: Registered I/O driver kgdboc