Re: [PATCH 02/11] kdb: Implement disable_nmi command