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