Re: [PATCH 10/14] tty/serial: Add kgdb_nmi driver