[PATCH 04/14] kdb: Implement disable_nmi command