Re: [PATCH 07/11] tty/serial: Add kgdb_nmi driver